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 last week
- Preview Zig's incremental linker state in interactive HTML☆45Updated 3 years ago
- ☆18Updated last year
- A CHIP-8 emulator in C.☆18Updated 3 years ago
- McLulang: The message is the language☆12Updated last year
- A ridiculous Python interpreter written—from scratch—in Rust.☆25Updated last week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 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 …☆18Updated last year
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago
- The Functional Virtual Machine.☆14Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- A bignum library for C.☆33Updated last year
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Updated 2 years ago
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- a simple x86/arm jit framework for c☆37Updated 2 months ago
- Zig Optimizing Backend☆24Updated 7 months ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Updated 5 years ago
- An Impractical Stack Language☆14Updated 5 years ago
- ☆11Updated 4 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 6 months ago
- Original Joy☆10Updated last year
- Portable high-level assembler with authentic C syntax☆25Updated 3 years ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 4 months ago
- Convert an EBNF grammar to the tree-sitter dsl☆28Updated 2 years ago
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Updated 2 years ago
- The most minimal C you can do real work in☆16Updated 3 years ago
- Fixed-point scalar and matrix multiplication library for SectorLISP☆15Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- bcc is a b compiler☆33Updated 3 years ago
- Binary Lambda Calculus Virtual Machine☆56Updated last year