Repository Index

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

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

• ocaml
• wasm
• webassembly
• interpreter

An SMT solver frontend for OCaml

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

Single-header C++ JIT compiler/evaluator for mathematical expressions

• expression-evaluator
• expression-parser
• formula-engine
• formula-evaluator