gjoncas / Artsy-Diagrams
Creative diagrams in Ti𝑘Z
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Artsy-Diagrams
- Philosophy diagrams in Ti𝑘Z☆33Updated 3 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- Simulacra and Simulation, 1981, Jean Baudrillard☆11Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Deposited packages of the homalg project☆12Updated last month
- ☆13Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆12Updated last year
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆24Updated 2 weeks ago
- egraph <-> json☆12Updated last month
- Blockchain Technology for the Working Mathematician☆24Updated 7 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…☆20Updated 2 months ago
- ☆35Updated 4 months ago
- A system for computational category theory and applications☆35Updated 8 years ago
- How to read Lean☆16Updated last week
- ☆21Updated 2 years ago
- Matroids in Lean☆19Updated 10 months ago
- Simulator of cellular automata on hyperbolic (Lobachevsky) plane, in browser.☆38Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago
- Hypergraph Rewriting System☆64Updated 7 months ago
- Some CSS experiments for arXiv HTML documents converted via latexml☆15Updated last month
- Haskell implementation of open games☆147Updated this week
- Agda category theory library for denotational design☆48Updated 5 months ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- ☆13Updated last year
- Metamath verifier in Python☆34Updated 7 months ago
- Catalogue on the nature and bounds of thought☆27Updated last year
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated this week