coffeemug / ts-wolframLinks
A toy Wolfram language interpreter.
☆38Updated last year
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 months ago
- Programming language for ternary computing☆31Updated 4 years ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated last month
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Various Futhark benchmark programs☆43Updated this week
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆71Updated 10 months ago
- The Coil Programming Language☆33Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- GitHub copy of the NTS/TeX source code from 2001☆32Updated 4 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- Brzozowski derivative python sketch☆85Updated 9 months ago
- a datastructure for scalable combinatorial syntax☆19Updated 10 months ago
- A collection of lambda calculus interpreters and development tools☆16Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆138Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 5 months ago
- One-pass Code Generation in V8 (Archive)☆20Updated 3 years ago
- egg is a flexible, high-performance e-graph library☆13Updated last year
- [Mirror] A close reading of the μKanren paper.☆43Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Manifest manifold models with magical machinations.☆38Updated 2 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆58Updated 5 months ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 3 years ago
- Animation of Yves Lafont's Interaction Combinators☆23Updated 3 years ago
- Reference counting with linear types☆31Updated last month
- fast combinations calculation in jax☆39Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- My personal standard for how to set up a Javascript workspace☆15Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 months ago