Repository Index

Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

• javaparser
• parser
• java
• javadoc

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

HAC Ada Compiler - a small, quick Ada compiler fully in Ada

• ada
• ada-language
• compiler
• virtual-machine

An SMT solver frontend for OCaml

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

A Turing-complete programming language with only one symbol: "."

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

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