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:
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- Formalizing results about the Mandelbrot set in Lean☆21Updated 8 months ago
- ☆11Updated last year
- ☆23Updated 3 years ago
- A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"☆13Updated 2 years ago
- multilingual dictionary of mathematical terminology☆19Updated last week
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated last week
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆12Updated 2 years ago
- Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instru…☆42Updated last year
- cadCAD implementation in Julia☆16Updated 7 months ago
- botttom-up vr redux☆24Updated 3 years ago
- Machine Learning for Mathematical Formalization☆11Updated 11 months ago
- ☆41Updated 2 months ago
- a datastructure for scalable combinatorial syntax☆18Updated 4 months ago
- Plain-text declaration export for Lean 4☆17Updated last month
- 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
- parser/viewer for olean files (lean 3)☆12Updated 6 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆92Updated this week
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 3 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- ☆13Updated 3 years ago
- ☆24Updated last year
- egraph <-> json☆14Updated 9 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆29Updated this week