Lists (3)
Stars
Photogrammetry Guide. Photogrammetry is widely used for Aerial surveying, Agriculture, Architecture, 3D Games, Robotics, Archaeology, Construction, Emergency management, and Medical.
advertools - online marketing productivity and analysis tools
An open, scalable, online streaming setup. All-in-one toolkit from ingest to adaptive video playback. Built for developers in need of video tooling.
🌐 The Internet Computer! Free, Open-Source, and Self-Hostable.
Self-Hosting Guide. Learn all about locally hosting (on premises & private web servers) and managing software applications by yourself or your organization. Including Cloud, LLMs, WireGuard, Automa…
A list of awesome resources and blogs on topics related to Unum
All-in-one platform for search, recommendations, RAG, and analytics offered via API
MATPOWER – steady state power flow simulation and optimization for MATLAB and Octave
Lists open source power electronic tools
A community preview of ongoing formal verification efforts for Asterinas
System Intelligence Benchmark
PROV & SSN/SOSA mapped to BFO-ISO, RO, & CCO
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
Course website for Systems Verification Fall 2025
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Course website for Systems Verification Fall 2024
Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
A fast usermode x86 and x86-64 emulator for Arm64 Linux
A memory allocator verified with Verus
Awesome Linux Driver Development