woodrush / lambda-calculus-devkit
A collection of lambda calculus interpreters and development tools
☆14Updated 2 years ago
Alternatives and similar repositories for lambda-calculus-devkit:
Users that are interested in lambda-calculus-devkit are comparing it to the libraries listed below
- Rust BF interpreters☆12Updated last year
- ☆18Updated 10 months ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆13Updated last year
- Tools for wisp: the Whitespace-to-Lisp preprocessor☆12Updated 6 months ago
- The most minimal C you can do real work in☆16Updated 2 years ago
- Simple Application Sandboxing☆18Updated 8 months ago
- ☆16Updated 3 years ago
- tiny emacs☆26Updated 3 years ago
- An optimizing Brainfuck interpreter.☆13Updated 6 years ago
- REPL for C preprocessor of C++17☆10Updated last year
- A CPS transforming scheme compiler, Cheney on the MTA, etc☆14Updated 4 years ago
- A general purpose relational language☆20Updated 5 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Intuitionistic Programming Language☆11Updated 11 years ago
- A rethinking of the C time library☆10Updated 2 months ago
- ☆11Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆54Updated last year
- Preview Zig's incremental linker state in interactive HTML☆44Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆13Updated last year
- Semantic find-and-replace using tree-sitter-based macro expansion!☆16Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Modeling futexes in TLA+☆20Updated 7 months ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆13Updated last year
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Updated 2 years ago
- A Scheme-like Lisp interpreter that can also run as an operating system☆18Updated 11 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆18Updated 2 years ago
- Paced web reader. An esoteric feed reader and workflow for keeping up to date online.☆23Updated 4 months ago