Updated LazyK source distribution
☆19Nov 20, 2025Updated 11 months ago
Alternatives and similar repositories for LazyK
Users that are interested in LazyK are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lazy K interpreter☆31Oct 22, 2026Updated last week
- Haskell -> Lazy K translator.☆14Apr 5, 2014Updated 12 years ago
- The Befunge-98 test suite.☆30Oct 18, 2022Updated 4 years ago
- An esoteric programming language with just two data types: null and tape☆11Jan 31, 2024Updated 2 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆36Aug 2, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆16Oct 15, 2026Updated 2 weeks ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- A Scheme to Unlambda compiler☆18Jun 18, 2017Updated 9 years ago
- ☆10Oct 22, 2015Updated 11 years ago
- Dan Bernstein's qhasm package☆12Oct 10, 2015Updated 11 years ago
- Haskell to brainfuck compiler☆31May 11, 2014Updated 12 years ago
- This is a port to GitHub and Eclipse of BFBASIC (https://esolangs.org/wiki/BFBASIC).☆11Aug 13, 2020Updated 6 years ago
- Mu is a modern, modular, system programming language and scripting toolchain☆12Jan 13, 2016Updated 10 years ago
- Official repository for the REX virtual machine☆12Mar 9, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Common Lisp DSL for building untyped lambda calculus expressions☆27Dec 3, 2024Updated last year
- An experiment to compile Clojure to LLVM IR☆11Dec 17, 2013Updated 12 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆12Oct 5, 2024Updated 2 years ago
- A toy functional language created through the abuse of C☆20Sep 26, 2010Updated 16 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated 4 months ago
- A simple compiler from the lambda calculus to MIPS assembly☆20May 19, 2017Updated 9 years ago
- fungot, a Funge-98 bot☆17Jul 16, 2022Updated 4 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 10 years ago
- A simple applicative parser in Parsec style☆12Mar 9, 2026Updated 7 months ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 9 years ago
- A programmable virtual CPU written in untyped lambda calculus☆72Oct 20, 2022Updated 4 years ago
- A Lisp syntax for Haskell.☆22May 11, 2012Updated 14 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- A SKI combinators interpreter written in assembly☆21Jul 25, 2020Updated 6 years ago
- National Novel Generation Month, 2024 edition.☆18Oct 10, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fluffle Puff Programming Language☆26Nov 20, 2018Updated 7 years ago
- ☆23Oct 12, 2024Updated 2 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 4 months ago
- A fast Befunge93/98 interpreter in C☆22Oct 4, 2025Updated last year
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆31Jan 6, 2022Updated 4 years ago
- Python module and scripts for identifying names and linking them to authoritative identifiers☆12Feb 23, 2016Updated 10 years ago
- ☆19Jul 23, 2026Updated 3 months ago