attresearch / yakker
☆22Updated 12 years ago
Alternatives and similar repositories for yakker:
Users that are interested in yakker are comparing it to the libraries listed below
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- Error message generator for state/token pairs.☆14Updated 10 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 6 years ago
- quick c☆35Updated 2 years ago
- ☆10Updated 3 years ago
- ☆16Updated 6 years ago
- OCaml library for manipulating context-free grammars☆19Updated last month
- Embed typed ASN.1 grammars in OCaml☆36Updated last month
- Distributed computing library☆35Updated 6 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 6 months ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- OCaml rewrite of the ixy network driver☆35Updated 3 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆30Updated 6 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆0Updated 5 years ago
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- literate programming meets unison☆27Updated 8 months ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- LALR parser generator written in native zig☆8Updated 5 years ago
- ☆23Updated 8 years ago
- One-pass Code Generation in V8 (Archive)☆19Updated 2 years ago
- Scheme Interpreter in Rust☆26Updated 6 years ago
- Datatype-generic object-oriented transformations for OCaml☆16Updated 5 months ago
- ☆38Updated 8 years ago
- ☆17Updated 5 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆91Updated 6 years ago
- Column-oriented binary format for immutable datasets☆8Updated 4 years ago