coffeemug / ts-wolframLinks
A toy Wolfram language interpreter.
☆35Updated 11 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:
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated last year
- Programming language for ternary computing☆31Updated 4 years ago
- ☆53Updated last month
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Various Futhark benchmark programs☆42Updated 2 months ago
- Autoregressive transformers in APL☆106Updated last month
- Brzozowski derivative python sketch☆85Updated 6 months ago
- Rewriting Principia Mathematica in Lean☆134Updated 3 weeks ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆79Updated 7 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- An attempt to write a compiler in Rust☆24Updated 2 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 7 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- The Coil Programming Language☆33Updated last year
- ☆44Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- Reference counting with linear types☆31Updated 3 weeks ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated this week
- An implementation of interaction nets as a forth-like language.☆37Updated 2 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Updated last year
- Intuitionistic Programming Language☆12Updated 11 years ago
- fast combinations calculation in jax☆36Updated last year
- My personal standard for how to set up a Javascript workspace☆15Updated 2 years ago