Alternatives and similar repositories for Dependent-Binary-Lambda-Calculus

Users that are interested in Dependent-Binary-Lambda-Calculus are comparing it to the libraries listed below

• helvm / helma

  View on GitHub
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Apr 16, 2024Updated last year
• triska / presprover

  View on GitHub
  Prove formulas of Presburger Arithmetic
  ☆11Oct 5, 2024Updated last year
• irori / hs2lazy

  View on GitHub
  Haskell -> Lazy K translator.
  ☆13Apr 5, 2014Updated 11 years ago
• melvinzhang / binary-lambda-calculus

  View on GitHub
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Aug 2, 2017Updated 8 years ago
• DennisMitchell / dodos

  View on GitHub
  Dodos Only Divide Or Surrender
  ☆14Mar 18, 2018Updated 7 years ago
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• serprex / Rue

  View on GitHub
  lang Thue + Regex
  ☆15Apr 20, 2022Updated 3 years ago
• m-ender / orthagonal

  View on GitHub
  A two-dimensional programming language from 1994.
  ☆12Oct 2, 2016Updated 9 years ago
• meta-logic / sequoia-v0

  View on GitHub
  Design, play with, and analyze sequent calculus proof systems.
  ☆14Sep 5, 2024Updated last year
• Kleidukos / Intrigue

  View on GitHub
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Dec 15, 2025Updated 2 months ago
• dawn-lang / ucc

  View on GitHub
  Untyped Concatenative Calculus
  ☆19Dec 25, 2021Updated 4 years ago
• marianoguerra / otl

  View on GitHub
  ☆13Oct 14, 2016Updated 9 years ago
• bbchallenge / bbchallenge-deciders

  View on GitHub
  Here we give programs that check if Turing machines halt or not.
  ☆15Sep 1, 2025Updated 5 months ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• DataKinds / sixty-five-oh-two

  View on GitHub
  A 65C02 Assembly eDSL in Haskell
  ☆17May 31, 2018Updated 7 years ago
• robertkleffner / CaKe

  View on GitHub
  An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
  ☆19Feb 2, 2014Updated 12 years ago
• programble / befungee

  View on GitHub
  Befunge-93 interpreter written in Python with a debugger
  ☆19Apr 9, 2017Updated 8 years ago
• msullivan / LazyK

  View on GitHub
  Updated LazyK source distribution
  ☆19Nov 20, 2025Updated 2 months ago
• serprex / Befunge

  View on GitHub
  lang befunge 93 fast
  ☆21Oct 15, 2023Updated 2 years ago
• RobertGollagher / Freeputer

  View on GitHub
  Freeputer ( ) [ ] { } forever free
  ☆40May 15, 2018Updated 7 years ago
• owainlewis / lambda-calculus

  View on GitHub
  Lambda calculus parser in Haskell
  ☆14Dec 21, 2016Updated 9 years ago
• cassiemeharry / elixir-monad

  View on GitHub
  A monadic system for the Elixir language
  ☆45Sep 8, 2013Updated 12 years ago
• typesanitizer / edit

  View on GitHub
  Edit is a monad for rewriting things.
  ☆23Sep 9, 2020Updated 5 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• aionescu / oplang

  View on GitHub
  Stack-based esoteric programming language
  ☆18Jan 31, 2025Updated last year
• haskell-pkg-janitors / haskell-src

  View on GitHub
  Library for manipulating Haskell source code
  ☆22Sep 11, 2025Updated 5 months ago
• rocq-prover / bot

  View on GitHub
  The Rocq Prover bot
  ☆26Jan 30, 2026Updated 2 weeks ago
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆20Aug 26, 2023Updated 2 years ago
• jondashkyle / dropout-app

  View on GitHub
  An webapp for using Dropout with Beaker Browser
  ☆22Jan 23, 2018Updated 8 years ago
• yav / presburger

  View on GitHub
  Decision procedures for Presburger arithmetic in Haskell
  ☆30Mar 29, 2025Updated 10 months ago
• rocketnia / fexpress

  View on GitHub
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆23Sep 2, 2025Updated 5 months ago
• kwantam / lviv

  View on GitHub
  stack-based RPN functional programming language
  ☆55Feb 5, 2018Updated 8 years ago
• tmikov / scheme2020

  View on GitHub
  An implementation of Scheme R7RS-small in 48 working hours.
  ☆19Mar 13, 2020Updated 5 years ago
• acorrenson / owl

  View on GitHub
  A mini language for logic programming
  ☆23Jun 5, 2020Updated 5 years ago
• logsem / cerise

  View on GitHub
  Formalisation of a capability machine and principles for reasoning about security properties
  ☆25Jul 4, 2025Updated 7 months ago
• xy-kasumi / hs2bf

  View on GitHub
  Haskell to brainfuck compiler
  ☆31May 11, 2014Updated 11 years ago
• imrehg / ypsilon

  View on GitHub
  The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)
  ☆22Apr 7, 2022Updated 3 years ago
• evincarofautumn / Hap

  View on GitHub
  A simple concurrent programming language.
  ☆22Nov 3, 2020Updated 5 years ago
• ericfinster / catt.io

  View on GitHub
  Revised Omega-categorical Typechecker
  ☆27Nov 3, 2024Updated last year