woodrush / lambda-calculus-devkitLinks
A collection of lambda calculus interpreters and development tools
☆16Updated 3 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
Sorting:
- A self sufficient programming language: have your cake and eat it at compile time☆13Updated this week
- ☆18Updated last year
- Code to go with my article "The AWK book's 60-line version of Make"☆14Updated 2 years ago
- A CHIP-8 emulator in C.☆18Updated 3 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆15Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated 9 months ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- Original Joy☆10Updated 10 months ago
- Code coverage for compiled binaries using Callgrind, mostly geared towards Zig code☆16Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated last year
- A ridiculous Python interpreter written—from scratch—in Rust.☆24Updated this week
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 4 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- A bignum library for C.☆33Updated last year
- ☆11Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Boot2Now is a series of compilers in the form of bootable machine images☆18Updated 2 years ago
- A more standards compliant C library written in M2-Planet's C subset☆20Updated last week
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 3 months ago
- The Functional Virtual Machine.☆14Updated 10 months ago
- bcc is a b compiler☆33Updated 3 years ago
- cparse is an LR(1) and LALR(1) parser generator☆63Updated 3 weeks ago
- Binary Lambda Calculus Virtual Machine☆55Updated last year
- A very boring programming language☆12Updated 2 months ago
- Automatically exported from code.google.com/p/libsum☆12Updated 10 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- an interactive programming language☆49Updated last week
- A Scheme-like Lisp interpreter that can also run as an operating system☆20Updated 12 years ago