Alternatives and similar repositories for alacarte

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

• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• siraben / eopl
  Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
  ☆15Updated 5 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆73Updated 9 months ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆24Updated 8 years ago
• minad / paripari
  Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
  ☆59Updated 4 years ago
• geisha-lang / Geisha
  A naive θ..θ programming language
  ☆27Updated 6 years ago
• JaimieMurdock / HK
  HaskellKanren (HK) is an implementation of the Kanren logic programming system in Haskell.
  ☆22Updated 13 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• ice1000 / vscode-arend
  VSCode extension for the Arend language
  ☆11Updated 2 years ago
• be5invis / idris-codegen-es
  Optimized JS codegen for Idris
  ☆54Updated 6 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• wouter-swierstra / xmonad
  xmonad in Coq
  ☆46Updated 12 years ago
• pnwamk / stop2015-redex
  PLT Redex model of basic Dependently Typed Racket calculus
  ☆18Updated 10 years ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 3 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆121Updated 3 years ago
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 5 years ago
• dannypsnl / plt-research
  A collection of PLT researching
  ☆29Updated 2 months ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• ralsei / six-eyes
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Updated 2 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆26Updated 2 years ago
• Trebor-Huang / agda-linear
  An implementation of a Zeilberger-style linear type theory.
  ☆11Updated 3 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 9 months ago
• idris-lang / idris-tutorial
  A tutorial to the Idris Programming Language.
  ☆95Updated 9 years ago
• rudymatela / express
  Dynamically-typed Haskell expressions involving applications and variables.
  ☆22Updated 3 months ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• mflatt / plai-typed
  ☆51Updated 2 years ago
• owo-lang / Mini-TT
  Documented version of a simple type-theoretic language: Mini-TT
  ☆18Updated 6 years ago