gjoncas / Artsy-Diagrams
Creative diagrams in Ti𝑘Z
☆11Updated 3 years ago
Alternatives and similar repositories for Artsy-Diagrams:
Users that are interested in Artsy-Diagrams are comparing it to the libraries listed below
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year
- a datastructure for scalable combinatorial syntax☆17Updated 2 weeks ago
- Catalogue on the nature and bounds of thought☆27Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated last week
- multilingual dictionary of mathematical terminology☆19Updated 3 months ago
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated last year
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆17Updated 7 years ago
- ACSets: Algebraic databases as in-memory data structures☆21Updated this week
- Learn Lean and topology☆21Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Metamath verifier in Python☆37Updated 10 months ago
- Modifications of Niles Johnson's Hopf Fibration drawing code☆33Updated 10 years ago
- Plain-text declaration export for Lean 4☆13Updated 4 months ago
- A system for computational category theory and applications☆38Updated 8 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- ☆13Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- egraph <-> json☆13Updated 4 months ago
- ☆9Updated 2 years ago
- ☆9Updated 4 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago