Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Repository Index
47,133 repositories indexed
25–48 of 72 · Most stars
Code coverage for OCaml and ReScript
- coverage
- ocaml
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Jane Street's standard library overlay (kernel)
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
Elm architecture and (V)DOM for OCaml
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
Automated S-expression conversion
Easy OCaml bindings for Javascript libraries
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
A Yojson codec generator for OCaml.
- deriving
- json
An OCaml generic virtual machine for microcontrollers
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
Error-recovering streaming HTML5 and XML parsers
Declarative 2D vector graphics for OCaml
A neat interface for Slack
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
Inline (Unit) Tests for OCaml
A DHCP library in OCaml
- dhcp-library
- dhcp-server
- ocaml
- mirage
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
OCaml library for reporting metrics to a Prometheus server
- metrics
- mirageos
- ocaml