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
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 3 weeks ago
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- ☆50Updated 8 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- 🎅 A programming language (+ code playground) for Advent of Code.☆31Updated 3 years ago
- ☆46Updated 2 years ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- ☆99Updated 3 years ago
- Racket to WebAssembly Compiler☆31Updated last month
- turtle graphics playground☆74Updated last year
- A lisp rosetta stone to demonstrate modern language features☆169Updated 2 years ago
- A typed, polyglot, functional language☆196Updated this week
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated last year
- Leibniz - a Digital Scientific Notation☆33Updated last month
- ☆15Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆104Updated last week
- Responsive, animated figures in JavaScript/HTML canvases☆132Updated 2 weeks ago
- A reference implementation of Alan Turing's 1936 paper, On Computable Numbers☆45Updated 8 months ago
- A literate programming system for any language.☆105Updated last year
- FOAM: Feature-Oriented Active Modeller, Version 3 (unstable)☆43Updated this week
- Experimental, recursively-embeddable, domain-specific editors and text editor☆79Updated last year
- An attempt to write a compiler in Rust☆24Updated last year
- Demo of a WAM Prolog implementation in Python☆74Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆72Updated 2 months ago
- A dynamic data-driven document development environment (DDDDDE)☆81Updated last year
- Audible NP-Complete Problem☆22Updated 5 years ago