Autio / EthicsLinks
Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics
☆13Updated 10 years ago
Alternatives and similar repositories for Ethics
Users that are interested in Ethics are comparing it to the libraries listed below
Sorting:
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 8 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Git for Philosophers☆35Updated 2 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Simple tangler for Pandoc☆16Updated 2 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- The New Yorken Poesry Magazine is a cultured poetry journal by AI, for AI☆36Updated 6 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Updated 7 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- D3 interactive wheel visualisation of Hegel's Science of Logic☆13Updated 10 years ago
- A Markdown version of the free textbook created by Walter Ott☆23Updated 11 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 4 years ago
- My personal blog☆16Updated last week
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- Interactive POetry Editor☆28Updated 4 years ago
- Examples of the nice parts of Racket☆22Updated 8 years ago
- types for representing structured documents☆120Updated last month
- Programs for computing beautiful pictures and animations of zeroes of polynomials.☆14Updated last year
- Pandoc-backed static site generator shell script with precompiled binary dependencies☆57Updated 2 years ago
- Discrete Mathematics Using a Computer exercises/notes☆21Updated 10 years ago
- An online, interactive coding tutorial☆11Updated 9 years ago
- ☆18Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 11 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- 📔🌼 An example website/book created with Pollen.☆132Updated 8 months ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- An environment variable manager for Racket applications☆17Updated 2 years ago
- Supporting Impelementation for Haskell School of Music☆89Updated 2 years ago