kognise / lambLinks
A very shitty lambda calculus.
☆16Updated 6 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
- The Aurora Programming Language☆38Updated 2 years ago
- A miniature model of the Typescript compiler☆35Updated last year
- 📄 Information and links related to ECMAScript engine/tooling development☆16Updated 6 months ago
- compile TypeScript or JavaScript to binaries☆21Updated 2 years ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 2 years ago
- The Simplest Parser Library (that works) in Rust☆44Updated last year
- An attempt to write a compiler in Rust☆24Updated 2 years ago
- my personal lang☆16Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- ☆106Updated this week
- 🖨 An optimizing compiler for a Lisp variant. Compiles and executes byte code in a VM. Can also output JavaScript.☆27Updated 5 months ago
- an experimental new programming language based on interaction nets☆292Updated this week
- anti runtime gang☆24Updated 9 months ago
- an eslint plugin for import whitespace to follow a bezier curve☆44Updated last year
- reverse engineering for v8's internal binary format☆11Updated 2 years ago
- Programming language and compiler —WORK IN PROGRESS—☆74Updated 3 years ago
- JS runtime lolz☆67Updated this week
- A programming language that runs on TypeScript's type system☆52Updated 2 years ago
- ☆18Updated last year
- Backend/data generator for test262.fyi☆106Updated 3 weeks ago
- Postulate is a a notetaking platform that helps you publish your ideas instead of forgetting them.☆23Updated 2 years ago
- The human-friendly Rubik's cube computer (WIP)☆38Updated last week
- Dew is a little programming language which targets the Lua virtual machine☆25Updated 3 weeks ago
- (WIP) A programming language☆42Updated 6 months ago
- 🧪 | LLVM backend for HVM☆23Updated 2 years ago
- Elegant parsing expression grammars☆53Updated 3 weeks ago
- TypeScript-like theorem prover☆40Updated 3 months ago
- Type-level math expression evaluator for TypeScript.☆42Updated 2 years ago
- The landing page for Purdue Hackers ✨☆20Updated 5 months ago