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 last week
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 3 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆95Updated 4 years ago
- A graphical interactive proof assistant designed for education☆166Updated 3 months ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- Brzozowski derivative python sketch☆85Updated 11 months ago
- A typed, polyglot, functional language☆196Updated this week
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated 10 months ago
- An online IDE for visual programming in Prolog☆239Updated last week
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- Learn multi-variable optimization by creating a drawing assistant. No deep learning required!☆27Updated 2 years ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- A graphics library for producing Racket picts in a MetaPost/TikZ style.☆67Updated 3 months ago
- Yet Another Compiler Visualizer☆158Updated 3 years ago
- The Principia Rewrite☆214Updated last month
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- Collaborative Lisp coding on Discord☆34Updated last year
- Tim Button's open textbook on set theory☆32Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated 5 months ago
- Tool for euclidean geometry aware of logic☆83Updated 9 months ago
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆42Updated 2 years ago
- Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)☆59Updated 2 years ago
- A Tensor Language☆57Updated 3 years ago
- Plot Cookbook☆50Updated 2 years ago
- A minimal viable programming language on top of liblgpp☆77Updated 4 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- What if Git worked with Programming Languages?☆98Updated 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 3 months ago
- Racket to WebAssembly Compiler☆31Updated last month