Alternatives and similar repositories for church1936:

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

• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆49Updated 11 months ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆28Updated 5 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆25Updated last week
• habit-lang / language-report
  LaTeX sources for the Habit Programming Language Report
  ☆24Updated 6 years ago
• levex / haskell-doom
  doom
  ☆17Updated 8 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated this week
• phase / dtt
  dependent type theory experiment
  ☆25Updated 10 months ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• dobesv / charity
  Charity Programming Language
  ☆39Updated 9 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆73Updated 5 years ago
• bollu / timi
  A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
  ☆69Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆24Updated 4 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated this week
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• shachaf / mustardwatch
  Detect what files a program uses and rerun it when they change
  ☆29Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• Gandalf- / BrainBash
  A heavily optimizing Brain**** interpreter written in Bash!
  ☆30Updated 5 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆32Updated 8 months ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆67Updated 7 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago
• jdan / compiler.lean
  A formally verified compiler for a simple language with numbers and sums
  ☆26Updated 4 years ago
• VictorTaelin / absal-rs
  ☆35Updated 6 years ago
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆23Updated 2 years ago