Alternatives and similar repositories for hs2bf

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

• mzattera / bfbasic

  View on GitHub
  This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).
  ☆12Aug 13, 2020Updated 5 years ago
• helvm / helma

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

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 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
• atennapel / coc-os

  View on GitHub
  "operating system" based on the calculus of constructions
  ☆18Jun 22, 2022Updated 3 years ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• typesanitizer / edit

  View on GitHub
  Edit is a monad for rewriting things.
  ☆23Sep 9, 2020Updated 5 years ago
• mb64 / simple-lambda-prolog

  View on GitHub
  A simple λProlog interpreter
  ☆20Nov 29, 2021Updated 4 years ago
• aionescu / oplang

  View on GitHub
  Stack-based esoteric programming language
  ☆18Jan 31, 2025Updated last year
• RichardMoot / LinearOne

  View on GitHub
  LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
  ☆20Nov 12, 2020Updated 5 years ago
• JacquesCarette / TheoriesAndDataStructures

  View on GitHub
  Showing how some simple mathematical theories naturally give rise to some common data-structures
  ☆39Jun 13, 2024Updated last year
• alox-ai / alox-old

  View on GitHub
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Jun 21, 2023Updated 2 years ago
• evertedsphere / how-to-implement-dependent-type-theory

  View on GitHub
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Jan 18, 2020Updated 6 years ago
• ericfinster / opetopic

  View on GitHub
  Web based opetopic editor
  ☆36Oct 21, 2024Updated last year
• helvm / helpa

  View on GitHub
  🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell
  ☆13Mar 4, 2025Updated 11 months ago
• powerspowers / flatland

  View on GitHub
  3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft
  ☆12Sep 9, 2018Updated 7 years ago
• gregr / experiments

  View on GitHub
  a steady descent into madness
  ☆17Jun 22, 2025Updated 7 months ago
• irori / unlambda

  View on GitHub
  Unlambda interpreter
  ☆11Jul 9, 2024Updated last year
• wompking / tailorlang

  View on GitHub
  A string-based esoteric programming language.
  ☆10Jul 28, 2021Updated 4 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus

  View on GitHub
  A Dependently Typed Esolang
  ☆10Aug 4, 2017Updated 8 years ago
• 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
• benjojo / c2bf

  View on GitHub
  C2BF is a C compiler targeting brainfuck, written by the twisted mind of Gregor Richards.
  ☆37Apr 19, 2023Updated 2 years ago
• rdentato / gerku

  View on GitHub
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Nov 27, 2021Updated 4 years ago
• jimwhite / treemeta

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• prathyvsh / history-of-lambda-calculus

  View on GitHub
  Survey on materials that touch on the history of Lambda Calculus
  ☆12Sep 13, 2020Updated 5 years ago
• mb64 / prolog

  View on GitHub
  A simple prolog implementation in Rust
  ☆26Nov 14, 2020Updated 5 years ago
• DataKinds / charm

  View on GitHub
  A [ functional stack ] based language.
  ☆30Oct 30, 2023Updated 2 years ago
• llee454 / functional-algebra

  View on GitHub
  This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…
  ☆28Feb 28, 2019Updated 6 years ago
• naalit / durin

  View on GitHub
  the Dependent Unboxed higher-oRder Intermediate Notation
  ☆14Feb 8, 2022Updated 4 years ago
• TristanCacqueray / demo-render

  View on GitHub
  Digital art
  ☆10May 12, 2020Updated 5 years ago
• mtolly / rail

  View on GitHub
  Interpreter/compiler for a 2D esoteric language
  ☆12Jul 26, 2015Updated 10 years ago
• GrayJoKing / Cascade

  View on GitHub
  An esoteric language based on overlapping tree-like structures
  ☆10Oct 16, 2021Updated 4 years ago
• iczelia / ski

  View on GitHub
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Jan 12, 2021Updated 5 years ago
• altaris / opetopy

  View on GitHub
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Mar 2, 2020Updated 5 years ago
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• iczelia / asm2ws

  View on GitHub
  alpha-grade whitespace toolchain
  ☆11Aug 5, 2025Updated 6 months ago
• Techno-coder / lexica

  View on GitHub
  Reversible programming language
  ☆12Dec 7, 2019Updated 6 years ago