Alternatives and similar repositories for mmpp:

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

• thautwarm / LLAST
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Updated 6 years ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆34Updated 10 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆35Updated 8 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 5 months ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆16Updated 7 years ago
• rain-1 / chez-match
  A pattern match macro for chez-scheme
  ☆18Updated 8 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• guenchi / match
  Pattern-Matching written by Dan Friedman, Erik Hilsdale and Kent Dybvig
  ☆29Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆28Updated last year
• xieyuheng / inner
  Ones Inner Universe.
  ☆5Updated this week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated last month
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated 3 weeks ago
• guenchi / ChezJS
  Compile JavaScript to Native Code
  ☆28Updated 4 years ago
• dlicata335 / cart-cube
  Cartesian Cubical Type Theory
  ☆71Updated 4 years ago
• ManticoreProject / manticore
  Parallel ML compiler
  ☆72Updated 4 years ago
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆13Updated 12 years ago
• ice1k / ConsHoTT
  Constructive Interpretations of HoTT
  ☆36Updated 4 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆42Updated 5 years ago