woodrush / lambdacraftView external linksLinks
Common Lisp DSL for building untyped lambda calculus expressions
☆26Dec 3, 2024Updated last year
Alternatives and similar repositories for lambdacraft
Users that are interested in lambdacraft are comparing it to the libraries listed below
Sorting:
- A Lisp interpreter written in untyped lambda calculus☆250Mar 10, 2023Updated 2 years ago
- A self hosting Extended brainfuck to pure brainfuck compiler☆11May 6, 2018Updated 7 years ago
- simple yet expressive high-level scripting language (formerly known as tisp) [MIRROR]☆27Jan 25, 2026Updated 3 weeks ago
- Common Interface to ISO Prolog implementations from Common Lisp☆39Nov 21, 2021Updated 4 years ago
- A portable Common Lisp toolkit for building inspectors [MOVED TO CODEBERG]☆21May 26, 2025Updated 8 months ago
- A programmable virtual CPU written in untyped lambda calculus☆61Oct 20, 2022Updated 3 years ago
- A specification of an improvement to the Common Lisp standard☆22Feb 4, 2022Updated 4 years ago
- ☆82Apr 11, 2017Updated 8 years ago
- A framework for making real-time SPA web apps with vlang. Basically Phoenix LiveView in V.☆12Aug 16, 2021Updated 4 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Jan 23, 2022Updated 4 years ago
- ☆10Apr 18, 2022Updated 3 years ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Aug 2, 2017Updated 8 years ago
- Semantic Versions handling in Common Lisp☆14Mar 18, 2023Updated 2 years ago
- A Scheme to Unlambda compiler☆18Jun 18, 2017Updated 8 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- A logic programming library for Common Lisp.☆64Dec 22, 2020Updated 5 years ago
- An implementation of Scheme embedded in Common Lisp☆25Dec 2, 2011Updated 14 years ago
- A compiler for a Scheme-like language. Currently, the goal is not full standards-compliance but rather to implement a compiler that is us…☆13Feb 8, 2025Updated last year
- Discuss future project ideas☆12May 10, 2017Updated 8 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆16Feb 10, 2025Updated last year
- A collection of lambda calculus interpreters and development tools☆16Oct 9, 2022Updated 3 years ago
- Lisp implementation in Befunge☆27Feb 18, 2016Updated 9 years ago
- A lisp wrapper for Cozodb☆14Jul 27, 2023Updated 2 years ago
- File format and optimizer for programs encoded in binary lambda calculus☆17Jan 21, 2024Updated 2 years ago
- A simple terminal-based text editor written in Janet. [WIP]☆38Apr 16, 2023Updated 2 years ago
- Self-hosting parser generators in Forth and C.☆20Feb 27, 2021Updated 4 years ago
- ☆19May 12, 2023Updated 2 years ago
- The most minimal C you can do real work in☆16May 8, 2022Updated 3 years ago
- A Forth dialect implementation for educational purposes☆58Aug 28, 2019Updated 6 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21May 13, 2025Updated 9 months ago
- ☆20May 10, 2025Updated 9 months ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- illustration how to embed TinyScheme within C programs☆22May 13, 2016Updated 9 years ago
- My working copy of the Common Lisp ANSI Test Suite☆17Apr 1, 2023Updated 2 years ago
- Updated LazyK source distribution☆19Nov 20, 2025Updated 2 months ago
- Experimental fork of TinyScheme and extensions TSX, RE.☆16Jul 4, 2015Updated 10 years ago
- 16-bit SUBLEQ CPU running eForth - just for fun☆78Jan 26, 2026Updated 2 weeks ago
- Expert system in Lisp - somewhat CLIPS-compatible Common Lisp expert system building tool☆22Jan 19, 2014Updated 12 years ago
- Whitespace interpreter and debugger in jq☆17Jul 8, 2025Updated 7 months ago