Autio / Ethics
Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Ethics
- Philosophy diagrams in Ti𝑘Z☆33Updated 3 years ago
- A lambda calculus for quantum computation☆12Updated 6 years ago
- 2d syntax☆19Updated 2 weeks ago
- things that don't deserve their own repo☆63Updated 4 months ago
- Git for Philosophers☆35Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆24Updated 10 years ago
- An Image Dictionary for Co-dfns☆14Updated 7 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Updated last year
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆28Updated 4 years ago
- Interactive POetry Editor☆27Updated 3 years ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Updated 13 years ago
- A Self-Interpreter for F-omega☆16Updated 8 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- ever wanted to change water into wine? better: now you can change prose into poetry☆15Updated 8 years ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆19Updated last year
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Web-based reference manager, written in Haskell.☆29Updated 8 years ago
- A Markdown version of the free textbook created by Walter Ott☆23Updated 10 years ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Notes about research.☆8Updated 2 years ago
- Schreibe Dein Programm!☆38Updated 3 months ago
- A BASIC-flavored Lisp dialect☆72Updated last year
- Stuff I’m writing to learn Agda.☆9Updated 4 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 8 years ago
- Meta-Interpreters in miniKanren☆31Updated last year
- An online, interactive coding tutorial☆11Updated 8 years ago
- An Emacs mode writing in the Pollen Markup language☆14Updated 8 years ago
- A multi-dimensional database navigator and editor☆18Updated 8 years ago
- The best experimental economics software built in Racket☆20Updated this week