Alternatives and similar repositories for blc:

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

• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆20Updated 5 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• vzaliva / helix
  Formally verified operator language and rewriting engine for high-performance computing
  ☆24Updated 7 months ago
• athas / futball
  You are trapped on an infinite tile floor along with murderous marbles
  ☆10Updated 3 months ago
• lynn / universal-lambda
  A minimal esolang based on lambda calculus
  ☆16Updated 4 years ago
• ocramz / taco-hs
  Haskell port of the Tensor Algebra COmpiler
  ☆16Updated 5 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆10Updated 7 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 6 years ago
• luqui / Djest
  A programming language that deduces code from tests
  ☆30Updated 7 years ago
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆14Updated 5 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆21Updated last year
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• ezyang / eff
  Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators
  ☆13Updated 4 years ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 4 months ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• leanprover / super
  Superposition prover
  ☆17Updated last year
• leanprover / presentations
  lean-related presentations
  ☆16Updated 11 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• norm2782 / NanoProlog
  ☆17Updated last year
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• effectfully / Cubes
  A dependently typed type checker for a TT with intervals
  ☆22Updated 4 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago