coffeemug / ts-wolfram
A toy Wolfram language interpreter.
☆35Updated 6 months ago
Alternatives and similar repositories for ts-wolfram:
Users that are interested in ts-wolfram are comparing it to the libraries listed below
- Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps☆17Updated 2 weeks ago
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 2 months ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆69Updated 2 months ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆137Updated 9 months ago
- Small autodiff lib and a simple working feedforward neural net in Haskell on top of it, from scratch, zero-deps.☆16Updated 10 months ago
- The OCaml-Canvas library provides a portable Canvas for OCaml☆59Updated 10 months ago
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Reference counting with linear types☆31Updated 10 months ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- ☆11Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆30Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- ☆44Updated 6 months ago
- Constructive real numbers, in JavaScript. Based on Hans-J. Boehm's Java implementation☆16Updated 2 years ago
- Formalism and proofs for esverify☆20Updated 6 years ago
- Plot Cookbook☆50Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- ☆52Updated last year
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 5 years ago
- A formal consistency proof of Quine's set theory New Foundations☆70Updated last month
- Animation of Yves Lafont's Interaction Combinators☆16Updated 3 years ago
- Various Futhark benchmark programs☆42Updated last month
- Project to verify the Guy-Selfridge conjectures☆15Updated this week
- An introduction to the J programming language that gets to the point.☆42Updated 4 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Awesome Geometric Algebra☆27Updated 4 years ago