Autio / EthicsLinks
Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics
☆13Updated 9 years ago
Alternatives and similar repositories for Ethics
Users that are interested in Ethics are comparing it to the libraries listed below
Sorting:
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Git for Philosophers☆35Updated 2 years ago
- Pandoc-backed static site generator shell script with precompiled binary dependencies☆57Updated 2 years ago
- things that don't deserve their own repo☆63Updated 4 months ago
- Beginner's Programs I used to learn Languages☆13Updated 13 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 8 years ago
- Ti𝑘Z diagrams of mathemes from Lacanian psychoanalysis☆37Updated 4 years ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆11Updated 11 years ago
- My personal blog☆15Updated last week
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- types for representing structured documents☆118Updated 3 weeks ago
- Simple tangler for Pandoc☆16Updated 2 years ago
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- multilingual dictionary of mathematical terminology☆20Updated 2 weeks ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- P.D. Magnus' forallx logic textbook☆68Updated 7 months ago
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Slides for an introductory talk about Haskell (in German)☆11Updated 5 years ago
- System for converting collections of Markdown files into a PDF suitable for printing as a bound book☆19Updated 6 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Elementary Number Theory: Primes, Congruences, and Secrets☆112Updated 2 years ago
- A Server and an In-Browser Editor For Pollen Publishing System☆46Updated 2 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Automatically refresh Pandoc documents in your web browser☆50Updated 8 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- Convert Pandoc Markdown-style footnotes into sidenotes☆154Updated last year
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Configurable markup file watcher, previewer and converter.☆53Updated 8 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago