coffeemug / ts-wolframLinks
A toy Wolfram language interpreter.
☆35Updated 10 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:
- Programming language for ternary computing☆30Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated last week
- Various Futhark benchmark programs☆42Updated 3 weeks ago
- Responsive, animated figures in JavaScript/HTML canvases☆135Updated 3 months ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- The Coil Programming Language☆33Updated last year
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Autoregressive transformers in APL☆105Updated 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 origins of J☆63Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Use MiniZinc in the browser or with NodeJS☆40Updated 3 months ago
- ☆53Updated last week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- A collection of libraries in Scheme☆13Updated 4 years ago
- Brzozowski derivative python sketch☆85Updated 4 months ago
- ☆44Updated 10 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated last month
- A small language that compiles to WebAssembly Text format☆74Updated last year
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆70Updated 5 months ago
- My personal standard for how to set up a Javascript workspace☆14Updated 2 years ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆17Updated 3 years ago
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆143Updated last year
- QuantumSheet - A user friendly mathematics worksheet and solver☆57Updated 3 years ago