coffeemug / ts-wolframLinks
A toy Wolfram language interpreter.
☆36Updated 9 months ago
Alternatives and similar repositories for ts-wolfram
Users that are interested in ts-wolfram are comparing it to the libraries listed below
Sorting:
- ☆53Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Autoregressive transformers in APL☆102Updated 2 months ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Programming language for ternary computing☆30Updated 4 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- The Coil Programming Language☆33Updated last year
- Brzozowski derivative python sketch☆85Updated 4 months ago
- Fiddling with Lindenmayer systems☆15Updated 2 years ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Terminal CLI to Mathics3☆59Updated 2 weeks ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated 4 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 months ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 4 years ago
- Fun with wgpu: Simulating slime mold☆24Updated 11 months ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- My personal standard for how to set up a Javascript workspace☆14Updated 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
- Rewriting Principia Mathematica in Lean☆132Updated 8 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- A simple Web Assembly Interpreter☆16Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Reference counting with linear types☆31Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆33Updated 3 months ago
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- the origins of J☆63Updated 2 years ago
- One-pass Code Generation in V8 (Archive)☆20Updated 2 years ago