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
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- A CHIP-8 emulator in C.☆18Updated 3 years ago
- bcc is a b compiler☆33Updated 3 years ago
- Manfred von Thun's Programming Language Joy☆16Updated 10 months ago
- ☆18Updated last year
- cparse is an LR(1) and LALR(1) parser generator☆64Updated 2 months ago
- The Functional Virtual Machine.☆14Updated 11 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated 2 years ago
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- Lambda Calculus compiler targeting x86, written in Racket☆10Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 3 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 11 months ago
- Command line editor, C api, readline replacement☆26Updated 11 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 4 months ago
- A superset of brainfuck with dynamic memory management.☆30Updated 5 years ago
- Implementations of the Are-we-fast-yet benchmark suite in Oberon, C++, C, Pascal, Micron and Luon☆66Updated last month
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 9 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 …☆18Updated last year
- ☆11Updated 4 years ago
- Code to go with my article "The AWK book's 60-line version of Make"☆14Updated 2 years ago
- A heavily optimizing Brain**** interpreter written in Bash!☆32Updated 2 weeks ago
- Binary Lambda Calculus Virtual Machine☆56Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Your happy place for learning APL☆15Updated 2 years ago
- Original Joy☆10Updated 11 months ago