A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language