Alternatives and similar repositories for busy

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

• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆112Updated 7 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆205Updated 6 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated 11 months ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated this week
• andrejbauer / marshall
  Real number computation software
  ☆124Updated 2 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆122Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 9 months ago
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆158Updated last month
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• jozefg / higher-order-unification
  A small implementation of higher-order unification
  ☆188Updated 7 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆112Updated 10 months ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆163Updated this week
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆32Updated 7 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆144Updated 9 years ago
• mit-plv / timl
  TiML: A Functional Programming Language with Time Complexity
  ☆79Updated 7 years ago
• astump / cedille-core-spec
  Specification of the Cedille Core language
  ☆29Updated 4 years ago
• chrisdone-archive / duet
  A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell
  ☆214Updated 2 years ago
• discus-lang / iron
  Coq formalizations of functional languages.
  ☆143Updated 4 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• Deducteam / Dedukti
  Implementation of the λΠ-calculus modulo rewriting
  ☆209Updated last week
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 5 years ago
• lambda-pi-plus / lambda-pi-plus
  A simple Depdently-Typed Language for Research and Learning
  ☆57Updated 8 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆69Updated 5 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆80Updated 4 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆111Updated 10 months ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆275Updated 2 years ago