hoppecl / jamlang0001
☆8Updated 3 years ago
Alternatives and similar repositories for jamlang0001:
Users that are interested in jamlang0001 are comparing it to the libraries listed below
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- ☆96Updated 2 years ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated this week
- 🎅 A programming language (+ code playground) for Advent of Code.☆31Updated 3 years ago
- Thoughts on adjoint, norm and such.☆166Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- ☆46Updated 2 years ago
- the origins of J☆62Updated last year
- A typed, polyglot, functional language☆196Updated 2 weeks ago
- Racket to WebAssembly Compiler☆30Updated 2 years ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Gesture-based text editor (and shell) for the reMarkable tablet☆72Updated last year
- An attempt to write a compiler in Rust☆24Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆72Updated last month
- A (still naive, incomplete and unstable) programming language based on Girard's transcendental syntax☆72Updated this week
- Demo of a WAM Prolog implementation in Python☆71Updated last year
- Program a bot using assembly-like code in this competitive game!☆58Updated 3 years ago
- ☆50Updated 7 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆80Updated 4 years ago
- A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix☆36Updated 2 weeks ago
- A literate programming system for any language.☆103Updated last year
- Prolog Home Page☆70Updated last week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated 2 weeks ago
- Turing machines implemented in CSS☆78Updated 3 months ago
- Collaborative Lisp coding on Discord☆34Updated 11 months ago
- An ngn/k tutorial.☆199Updated 7 months ago
- The practical relational programing language for data-oriented applications☆196Updated 2 years ago
- Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars☆13Updated last year