kognise / lambLinks
A very shitty lambda calculus.
β16Updated 7 months ago
Alternatives and similar repositories for lamb
Users that are interested in lamb are comparing it to the libraries listed below
Sorting:
- [Prototype] Talk to your Anki flashcard deckβ10Updated last year
- π Information and links related to ECMAScript engine/tooling developmentβ16Updated 7 months ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)β81Updated 2 years ago
- The Aurora Programming Languageβ38Updated 2 years ago
- An attempt to write a compiler in Rustβ24Updated 2 years ago
- A tiny immediate-mode UI libraryβ21Updated 6 months ago
- The Simplest Parser Library (that works) in Rustβ44Updated last year
- β173Updated this week
- my personal langβ16Updated last year
- reverse engineering for v8's internal binary formatβ11Updated 2 years ago
- πͺ Tiny challenges for learning WebAssemblyβ68Updated 8 months ago
- compile TypeScript or JavaScript to binariesβ21Updated 2 years ago
- β128Updated 3 weeks ago
- (WIP) A programming languageβ42Updated 7 months ago
- TypeScript-like theorem proverβ40Updated 4 months ago
- π§ͺ | LLVM backend for HVMβ23Updated 2 years ago
- an experimental new programming language based on interaction netsβ298Updated last week
- Dew is a little programming language which targets the Lua virtual machineβ25Updated last month
- Postulate is a a notetaking platform that helps you publish your ideas instead of forgetting them.β23Updated 2 years ago
- A programming language that runs on TypeScript's type systemβ52Updated 2 years ago
- Programming language and compiler βWORK IN PROGRESSββ74Updated 3 years ago
- anti runtime gangβ24Updated 10 months ago
- loosely implementing the Web Browser Engineering book in rustβ21Updated 2 years ago
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)β55Updated last month
- β18Updated last year
- Example showing how to use Solid.js using Deno as the core runtime instead of Node.β14Updated last year
- Backend/data generator for test262.fyiβ108Updated this week
- π¨ An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.β29Updated 5 months ago
- Lambda Calculus parser and interpreter made in TypeScript's type systemβ13Updated last year
- The human-friendly Rubik's cube computer (WIP)β41Updated this week