attresearch / yakkerLinks
☆23Updated 13 years ago
Alternatives and similar repositories for yakker
Users that are interested in yakker are comparing it to the libraries listed below
Sorting:
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 6 years ago
- The language of the future!☆72Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆36Updated 8 months ago
- A practical LLVM backend for OCaml (will never be finished)☆35Updated 11 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- OCaml bytecode to C compiler☆103Updated 4 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- ☆40Updated 9 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- ☆22Updated 9 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 8 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- LVC verified compiler☆57Updated 6 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- SMTP client and server☆47Updated 2 weeks ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Freestanding OCaml runtime☆105Updated last week
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Fungi: Typed incremental computation with names☆69Updated 5 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 7 months ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆67Updated last month
- cargo +nightly build☆34Updated 6 years ago