Lists (3)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- Batchfile
- Bru
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- F#
- F*
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- M
- MATLAB
- MDX
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- Racket
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Solidity
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vue
- WebAssembly
- YAML
- Zig
- templ
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