lambda calculus interpreter
☆48May 2, 2021Updated 4 years ago
Alternatives and similar repositories for lambda
Users that are interested in lambda are comparing it to the libraries listed below
Sorting:
- not latex☆19Jun 25, 2025Updated 8 months ago
- a kernel in c++☆25Mar 6, 2021Updated 5 years ago
- Just silently mark all of the newly submitted PRs with "invalid" label☆17Oct 31, 2021Updated 4 years ago
- zhiayang's template libraries☆18Jan 28, 2026Updated last month
- A simple tool that converts wasm64 binaries to wasm32 ones☆31Jan 17, 2025Updated last year
- Hehehehehehehe☆10Mar 29, 2020Updated 5 years ago
- A collection of lambda calculus interpreters and development tools☆16Oct 9, 2022Updated 3 years ago
- A programming language written in C# that will compile to IL. (still very WIP)☆24Nov 30, 2019Updated 6 years ago
- TensaLang is a Tensor-first programming language, compiler, and runtime that let you write the Model’s inference engine (e.g. LLMs) and s…☆74Feb 20, 2026Updated last month
- lambda calculus interpreter☆12Mar 31, 2021Updated 4 years ago
- It's 2mpeg4yuv☆45Aug 12, 2025Updated 7 months ago
- VSCode extension for the Porth language☆19Feb 17, 2024Updated 2 years ago
- BNG Image Format Implementation☆12Sep 19, 2020Updated 5 years ago
- a simple brainfuck interpreter written in porth.☆15Oct 13, 2021Updated 4 years ago
- Game Of Life & Brian's Brain☆17Sep 17, 2021Updated 4 years ago
- Small OpenGL Shaders example using FreePascal Compiler☆15Apr 8, 2021Updated 4 years ago
- The official repository of the only self-hosting Kantan compiler☆20Jun 30, 2021Updated 4 years ago
- A procedual concatenative stack-oriented compiled programming language inspired by Porth.☆16May 16, 2025Updated 10 months ago
- WontFIX: Pragmatic Scala FIX engine☆19Aug 5, 2016Updated 9 years ago
- ☆19Jul 5, 2022Updated 3 years ago
- A work-in-progress hobby operating system.☆23Apr 15, 2020Updated 5 years ago
- Implementation of code snippets and exercises in the book Machine Learning for Asset Managers written by Prof. Marcos López de Prado.☆16Sep 10, 2020Updated 5 years ago
- general purpose programming language, in the vein of C++☆149Jun 20, 2021Updated 4 years ago
- Rope simulation in Jai☆26Dec 10, 2022Updated 3 years ago
- AngularJS + Bottle.py☆19May 1, 2024Updated last year
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆12Apr 21, 2021Updated 4 years ago
- Let's rethink how we interact with Agda☆18Nov 18, 2022Updated 3 years ago
- macOS menubar music player☆25Oct 29, 2024Updated last year
- AACMM's generic-syntax, but with QTT-style annotations☆21Apr 7, 2024Updated last year
- Turing Language☆221Jul 29, 2024Updated last year
- ☆21Jan 24, 2022Updated 4 years ago
- LaTeX packages for drawing extendible hashing indexes and linear hashing indexes using TikZ.☆14Oct 9, 2024Updated last year
- Programming language written in itself☆24Feb 11, 2026Updated last month
- An example of Windows NT Native API application and kernel driver☆22Feb 10, 2020Updated 6 years ago
- The high-level goals, current focus, future plans, and wishlist for the D Programming Language.☆15May 20, 2023Updated 2 years ago
- Regex Stream Artifacts☆19Sep 20, 2022Updated 3 years ago
- The qword OS build process☆18Nov 21, 2020Updated 5 years ago
- IA-64 emulator☆15Aug 13, 2021Updated 4 years ago
- basic C programs for intro to x86 reverse engineering☆15Oct 5, 2018Updated 7 years ago