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
- botttom-up vr redux☆23Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- modal logic library for LEAN theorem prover☆10Updated 7 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 3 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- Simulacra and Simulation, 1981, Jean Baudrillard☆11Updated 4 years ago
- A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)☆22Updated 5 years 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
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- Repository for programming language SPLAT: Spatial Programming Language, Ascii Text☆50Updated 3 years ago
- Compiler for MFM programming language☆21Updated 3 weeks ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Visual Transformer Mechanistic Analysis Tool☆32Updated last year
- gpt completions in vscode☆30Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- Hypergraph Rewriting System☆64Updated 7 months ago
- DeepAlgebra☆25Updated 7 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- ☆12Updated 4 months ago
- Lambda called on lambda finds/creates lambda, each with lazy-evaled 256 bit global DAG ids. Each lambda has 2 child lambdas. A kind of nu…☆24Updated 7 months ago
- VSCode extension for Metamath☆10Updated last month
- egraph <-> json☆12Updated last month
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆19Updated last year
- ACT community resources☆19Updated 5 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆19Updated 2 years ago