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.
☆68Updated last month
Related projects ⓘ
Alternatives and complementary repositories for mathlingua
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 3 years ago
- A typed, polyglot, functional language☆195Updated last week
- An online IDE for visual programming in Prolog☆235Updated last week
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- The Principia Rewrite☆207Updated 6 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 3 years ago
- Render diagrams to Braille☆29Updated last month
- The cuteness implementation of a dependently typed language.☆188Updated last year
- Plot Cookbook☆50Updated last year
- A lisp dialect based on pattern matching and term rewriting☆84Updated last month
- Just a small test to see which language is better for extending python when using lists of lists☆31Updated last year
- ☆96Updated 2 years ago
- Catalog of visual lambda calculi☆100Updated last year
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Yet Another Compiler Visualizer☆157Updated 3 years ago
- Variaous articles☆80Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- High-Performance Klong array language in Python.☆120Updated 5 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- Audible NP-Complete Problem☆22Updated 5 years ago
- Domain Specific Languages for Computational Law☆69Updated last month
- [Mirror] A close reading of the μKanren paper.☆41Updated 2 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- Tool for euclidean geometry aware of logic☆81Updated 5 months ago
- the origins of J☆60Updated last year
- 💎 beautiful website generator aimed at math-heavy sites☆332Updated 2 months ago
- A dot matrix rendered using braille characters.☆26Updated 3 years ago