Profile Picture
  • All
  • Search
  • Images
  • Videos
  • Maps
  • News
  • More
    • Shopping
    • Flights
    • Travel
  • Notebook
Report an inappropriate content
Please select one of the options below.
  • Length
    AllShort (less than 5 minutes)Medium (5-20 minutes)Long (more than 20 minutes)
  • Date
    AllPast 24 hoursPast weekPast monthPast year
  • Resolution
    AllLower than 360p360p or higher480p or higher720p or higher1080p or higher
  • Source
    All
    Dailymotion
    Vimeo
    Metacafe
    Hulu
    VEVO
    Myspace
    MTV
    CBS
    Fox
    CNN
    MSN
  • Price
    AllFreePaid
  • Clear filters
  • SafeSearch:
  • Moderate
    StrictModerate (default)Off
Filter
Visualization of Depgraphs for Lean Blueprint Projects
3:53
YouTubeICARM
Visualization of Depgraphs for Lean Blueprint Projects
Lean Blueprint (https://github.com/PatrickMassot/leanblueprint) is software for managing large collaborative math formalization projects. The current status of a Lean-Blueprint-enabled project can be visualized as a directed acyclic graph. Each node is a definition or theorem, and they are colored green once they are fully formalized. This ...
6 views3 days ago
Related Products
Dependency Graph Visualization
Graph Theory Books
Apache Dependency Graph
#dependency
Addiction vs Dependence
Addiction vs Dependence
YouTubeMay 25, 2023
What is Dependency Injection? Explained Simply with Real-World Examples
What is Dependency Injection? Explained Simply with Real-World Examples
YouTube8 months ago
Top videos
GraphLocator: Causal Graph Issue Localization
3:35
GraphLocator: Causal Graph Issue Localization
YouTubeAI Research Roundup
4 days ago
Lec 3.3: What is Speed? Define Speed with Examples | Physics XI | Physics in Urdu
22:28
Lec 3.3: What is Speed? Define Speed with Examples | Physics XI | Physics in Urdu
YouTubeNova Science Academy
7 views2 days ago
Turborepo 2.7 - Devtools, Biome, and more...
7:29
Turborepo 2.7 - Devtools, Biome, and more...
YouTubeAnthony Shew
3 views5 days ago
Dependency graph Applications
Understanding Co-dependency and Unhelpable Individuals
0:59
Understanding Co-dependency and Unhelpable Individuals
TikTokmami.onami
1.6K views2 weeks ago
Which design patterns does the Spring Framework use #java #springplatform #javainterview #coding
1:38
Which design patterns does the Spring Framework use #java #springplatform #javainterview #coding
YouTubeJava Guides
9.4K views4 weeks ago
Jira Dependency in Advance Roadmap | Jira Cloud
0:58
Jira Dependency in Advance Roadmap | Jira Cloud
YouTubeRai Gurukul
110 viewsMay 25, 2023
GraphLocator: Causal Graph Issue Localization
3:35
GraphLocator: Causal Graph Issue Localization
4 days ago
YouTubeAI Research Roundup
Lec 3.3: What is Speed? Define Speed with Examples | Physics XI | Physics in Urdu
22:28
Lec 3.3: What is Speed? Define Speed with Examples | Physics XI …
7 views2 days ago
YouTubeNova Science Academy
Turborepo 2.7 - Devtools, Biome, and more...
7:29
Turborepo 2.7 - Devtools, Biome, and more...
3 views5 days ago
YouTubeAnthony Shew
The Selective Algorithm: Strategies for Pruning and Search Space Optimization
6:38
The Selective Algorithm: Strategies for Pruning and Search Space Opt…
5 days ago
YouTubeK11 Tech University
Handling Multiple Versions of a Rust Crate with patch in Cargo
3:57
Handling Multiple Versions of a Rust Crate with patch in Cargo
2 days ago
YouTubevlogommentary
Smart Test Burn-In from @seontechnologies/playwright-utils: Kill flakey tests before they hit main
17:26
Smart Test Burn-In from @seontechnologies/playwright-uti…
8 views1 week ago
YouTubeMurat Ozcan
Stop Privilege Creep: Enforce Identity Governance 🚨
1:05:51
Stop Privilege Creep: Enforce Identity Governance 🚨
4 views2 days ago
YouTubem365 Show Podcasts
6:01
The Explainer - CIRIS AI
6 days ago
YouTubeHappyComputerGuy
21:12
How This CLI Handles Huge React Projects
5 days ago
YouTubeTrevis Wamuthenya
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms