attresearch / yakker

Related projects ⓘ

Alternatives and complementary repositories for yakker

• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆34Updated 6 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 10 months ago
• aryx / syncweb
  literate programming meets unison
  ☆27Updated 7 months ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• pippijn / merr
  Error message generator for state/token pairs.
  ☆14Updated 10 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 4 months ago
• mmottl / cfg
  OCaml library for manipulating context-free grammars
  ☆18Updated this week
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆8Updated 4 years ago
• mpcsh / ForML
  Bachelor's thesis 2019
  ☆12Updated last year
• krohrer / caml-inspect
  Inspection of internal value representations and the object graph
  ☆33Updated 8 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 2 years ago
• NVIDIA / remorac
  ☆38Updated 8 years ago
• avsm / melange
  Fast, statically type-safe OCaml network applications (e.g. DNS/SSH)
  ☆56Updated 9 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆17Updated 7 years ago
• AndyShiue / pts
  implementation of Pure Type Systems (PTS) in Rust.
  ☆51Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• dsheets / ocaml-sodium
  Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
  ☆57Updated 3 years ago
• plum-umd / adapton.racket
  Racket-based implementation of Adapton
  ☆22Updated 5 years ago
• Fedjmike / tush
  ☆23Updated 8 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆50Updated 5 years ago
• dhil / pthandlers
  an encoding of affine effect handlers using pthreads
  ☆12Updated 2 years ago