Repository Index

A code rewrite tool for structural search and replace that supports ~every language.

• program-transformation
• search-and-replace
• linting
• refactoring

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

The Ott tool for writing definitions of programming languages and calculi

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

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

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Process pools for OCaml

Trivial/Tagless Polytypic Functions