mathlingua / mathlingua
Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
☆69Updated 2 months ago
Alternatives and similar repositories for mathlingua:
Users that are interested in mathlingua are comparing it to the libraries listed below
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 5 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- A typed, polyglot, functional language☆196Updated this week
- A graphical interactive proof assistant designed for education☆167Updated 5 months ago
- An online IDE for visual programming in Prolog☆240Updated 2 weeks ago
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- Hash-based Diffing for AST's☆76Updated 5 years ago
- An introduction to the J programming language that gets to the point.☆42Updated 4 months ago
- Collaborative Lisp coding on Discord☆34Updated last year
- Rewriting Principia Mathematica in Lean☆122Updated 5 months ago
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- Leibniz - a Digital Scientific Notation☆34Updated 3 weeks ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- ☆83Updated 2 months ago
- Brzozowski derivative python sketch☆85Updated last month
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 11 months ago
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated 2 years ago
- ReasonML code to construct an NFA from a regular expression☆24Updated 6 years ago
- A gentle introduction to the art of mathematics -- open source text for an "intro to proofs" course☆113Updated last month
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- The Principia Rewrite☆223Updated 3 months ago
- OCaml code to construct an NFA from a regular expression☆52Updated 4 years ago
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- a new web framework, an entire platform really, designed from the ground up to handle complex things easily. Put the power of an entire O…☆129Updated 5 months ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A lisp-looking language with interpreter and compiler to JS☆28Updated 5 years ago
- Book lucid interpreter written in python☆24Updated 5 years ago