attresearch / yakker
☆22Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for yakker
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆14Updated 6 years ago
- 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
- OCaml library for manipulating context-free grammars☆18Updated this week
- implementation of Pure Type Systems (PTS) in Rust.☆51Updated 7 years ago
- MPP: a meta preprocessor that blends programming languages☆32Updated last year
- The language of the future!☆72Updated 10 months ago
- RISC-V port of the OCaml system☆43Updated 4 years ago
- ☆10Updated 2 years ago
- quick c☆34Updated 2 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated 4 months ago
- literate programming meets unison☆27Updated 6 months ago
- FunTAL: mixing a functional language with assembly.☆40Updated 7 years ago
- Error message generator for state/token pairs.☆14Updated 10 years ago
- Delimited continuations in byte-code and native OCaml☆26Updated 3 years ago
- Embed typed ASN.1 grammars in OCaml☆34Updated 2 months ago
- Multilingualization for the OCaml source code☆51Updated 5 years ago
- Formal semantics of LLVM IR in K☆43Updated 9 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆30Updated 5 months ago
- Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notat…☆45Updated last year
- OCaml rewrite of the ixy network driver☆35Updated 3 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Inspection of internal value representations and the object graph☆33Updated 8 years ago
- An OCaml extension for RISC-V☆16Updated 4 years ago
- ☆38Updated 8 years ago
- Pretty-printing library for OCaml☆43Updated 2 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- Abstract binding tree code generator☆36Updated 8 years ago