Alternatives and similar repositories for hs2lazy

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

• msullivan / LazyK

  View on GitHub
  Updated LazyK source distribution
  ☆19Nov 20, 2025Updated 2 months ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus

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

  View on GitHub
  Super simple wrapper between Enumerator and Parallel.
  ☆13May 18, 2015Updated 10 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
• Kleidukos / Intrigue

  View on GitHub
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆14Dec 15, 2025Updated last month
• m-ender / orthagonal

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

  View on GitHub
  fungot, a Funge-98 bot
  ☆16Jul 16, 2022Updated 3 years ago
• 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
• mizchi-sandbox / rpg-prototype

  View on GitHub
  ☆15Jun 4, 2017Updated 8 years ago
• DataKinds / sixty-five-oh-two

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

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• programble / befungee

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

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

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

  View on GitHub
  Lambda calculus parser in Haskell
  ☆14Dec 21, 2016Updated 9 years ago
• bitcynth / whois-over-post

  View on GitHub
  ☆16Apr 8, 2020Updated 5 years ago
• eviefp / logic-in-haskell

  View on GitHub
  Classical Logic in Haskell
  ☆24Nov 19, 2025Updated 2 months ago
• haskell-pkg-janitors / haskell-src

  View on GitHub
  Library for manipulating Haskell source code
  ☆22Sep 11, 2025Updated 5 months ago
• aionescu / oplang

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

  View on GitHub
  A fast Befunge93/98 interpreter in C
  ☆19Oct 4, 2025Updated 4 months ago
• yav / presburger

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

  View on GitHub
  GoogleBig Query ActiveRecord Adapter & API client
  ☆113Oct 20, 2015Updated 10 years ago
• tmikov / scheme2020

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

  View on GitHub
  Go FFI (and dlopen) Libraries to wrap C libraries.
  ☆28Jan 7, 2013Updated 13 years ago
• xy-kasumi / hs2bf

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

  View on GitHub
  Zomes are polar zonohedron domes, made from rhombi.
  ☆32Oct 14, 2021Updated 4 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
• msr-quarc / ReVerC

  View on GitHub
  Verified compilation of space-efficient reversible circuits
  ☆23Mar 5, 2019Updated 6 years ago
• DataKinds / charm

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

  View on GitHub
  Golden tests with Hspec
  ☆29Oct 31, 2025Updated 3 months ago
• irori / lazyk

  View on GitHub
  Lazy K interpreter
  ☆31Aug 21, 2024Updated last year
• NaNoGenMo / 2023

  View on GitHub
  National Novel Generation Month, 2023 edition.
  ☆27Oct 2, 2024Updated last year
• mattn / sshgo

  View on GitHub
  ☆31Mar 7, 2023Updated 2 years ago
• caliconiko / shapes

  View on GitHub
  A graphical shape based esolang
  ☆35Dec 7, 2022Updated 3 years ago
• thomasoa / andrews-deal

  View on GitHub
  Automatically exported from code.google.com/p/andrews-deal
  ☆10Sep 16, 2022Updated 3 years ago
• kamichidu / goen

  View on GitHub
  GOlang ENtity interface, similar to ORM but not fully featured
  ☆12Jan 31, 2020Updated 6 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