magic-trace collects and displays high-resolution traces of what a process is doing
- intel
- x86
- visualizer
- tracing
Repository Index
89,073 visible repositories in the index
1–24 of 40 · Most stars
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
- cryptocurrency
- blockchain
- ocaml
- zk-snarks
Irmin is a distributed database that follows the same design principles as Git
OCaml Language Server Protocol implementation
Sinatra like web toolkit for OCaml
A lightweight and colourful test framework
- unit-testing
- ocaml
A modern supercompiler for call-by-value functional languages
The Ott tool for writing definitions of programming languages and calculi
Pure OCaml Git format and protocol
- git
- ocaml
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
OCaml debug adapter
- debugger
- debug-adapter-protocol
- ocaml
A REST toolkit for OCaml
- ocaml
- webmachine
- web
- http
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
Communication between Coq and SAT/SMT solvers
An OCaml generic virtual machine for microcontrollers
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
OCaml implementation of the DNS protocol
- ocaml
- dns
- mirageos
- unikernel
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary