Alternatives and similar repositories for etst

Users that are interested in etst are comparing it to the libraries listed below

• jaredhoberock / hindley_milner
  A C++11 implementation of Hindley-Milner type inference.
  ☆79Updated 13 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆41Updated 2 months ago
• keean / Parser-Combinators
  C++ parser combinator library
  ☆97Updated 10 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 7 years ago
• vnmakarov / yaep
  Yet Another Earley Parser
  ☆141Updated 3 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• cchalmers / pcg-random
  Haskell interface to the pcg random number generator
  ☆42Updated last year
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• sparverius / ats-acc
  Pretty-print error messages of the ATS Compiler
  ☆37Updated 6 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago
• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆46Updated 13 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆130Updated 2 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆66Updated 9 years ago
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• jeffreykegler / libmarpa
  Marpa parse engine C library -- STABLE
  ☆99Updated 2 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆232Updated last year
• techcentaur / Krivine-Machine
  Abstract krivine machine implementing call-by-name semantics. In OCaml.
  ☆45Updated 7 years ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated 7 months ago
• akabe / evilml
  A compiler from ML to C++ template language
  ☆157Updated 10 years ago
• evincarofautumn / Ward
  A static analysis tool for C.
  ☆28Updated 6 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆207Updated 5 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 7 years ago
• peberlein / c_lambda_calculus
  Lambda calculus with Church encoding in C
  ☆31Updated 7 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆93Updated 6 months ago
• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆91Updated 6 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated 8 months ago
• kyouko-taiga / mvs-calculus
  Compiler for Swiftlet
  ☆39Updated last year