gjoncas / Artsy-DiagramsLinks
Creative diagrams in Ti𝑘Z
☆10Updated 4 years ago
Alternatives and similar repositories for Artsy-Diagrams
Users that are interested in Artsy-Diagrams are comparing it to the libraries listed below
Sorting:
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Learn Lean and topology☆20Updated 2 years ago
- ☆23Updated 3 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- DeepAlgebra☆25Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- ☆11Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- sorear's Metamath system engine☆13Updated 9 years ago
- ☆13Updated 3 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 3 years ago
- (early experiments toward) a version-control system for structured data☆17Updated last year
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated this week
- Website to track people, organizations, and products (tools, websites, etc.) in AI safety☆22Updated this week
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated last year
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- A system for computational category theory and applications☆38Updated 9 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Finite Fields and Curves in Lean☆13Updated 2 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- ☆31Updated 2 weeks ago
- An automated approach to the Collatz conjecture☆13Updated last year
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆29Updated last month
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- sorear's Metamath system engine - version 3 Rust☆24Updated 2 years ago