Alternatives and similar repositories for Coconut

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

• ISANobody / sill
  ☆29Updated 10 years ago
• pa-ba / reg-machine
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Updated 3 years ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆41Updated 8 years ago
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 3 years ago
• NVIDIA / remorac
  ☆40Updated 9 years ago
• effect-handlers / effect-handlers-bench
  Benchmark repository of polyglot effect handler examples
  ☆34Updated 5 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆60Updated 7 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆36Updated 7 years ago
• jkoppel / ecta
  ☆37Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆28Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆51Updated 11 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆68Updated 3 months ago
• MPLLang / parallel-ml-bench
  Parallel ML benchmark suite
  ☆21Updated 2 months ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆28Updated 2 years ago
• pigworker / potato
  being an experiment with potato power
  ☆23Updated 6 years ago
• maximedenes / coq-amd64
  ☆21Updated 9 years ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 3 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆99Updated last year
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆80Updated 8 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆29Updated 2 years ago
• gallais / agdARGS
  Dealing with Flags and Options
  ☆13Updated 4 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 15 years ago
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆70Updated 9 months ago
• Barry-Jay / SF
  Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus
  ☆11Updated 8 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆33Updated 7 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Updated 4 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 10 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 4 months ago