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:
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 8 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 5 years ago
- Git for Philosophers☆35Updated 2 years ago
- Software synthesizer☆26Updated 10 years ago
- things that don't deserve their own repo☆63Updated 7 months ago
- Supporting Impelementation for Haskell School of Music☆90Updated 2 years ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- types for representing structured documents☆119Updated last month
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago
- Simple tangler for Pandoc☆16Updated 2 years ago
- A step by step instruction on how to create slides in ConTeXt☆30Updated 5 years ago
- Boilerplate for consistent lecture notes, slides, and assignments using LaTeX beamer and tufte-latex.☆19Updated 8 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- Examples of the nice parts of Racket☆22Updated 8 years ago
- An Image Dictionary for Co-dfns☆14Updated 8 years ago
- multilingual dictionary of mathematical terminology☆20Updated 3 months ago
- My personal blog☆16Updated last week
- An Emacs mode writing in the Pollen Markup language☆14Updated 9 years ago
- A data visualization library for Racket.☆38Updated last year
- This project is to contain a listing of common theorems in elementary category theory.☆74Updated 5 years ago
- Slides for an introductory talk about Haskell (in German)☆11Updated 5 years ago
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 4 years ago
- This repo has been merged into: https://github.com/music-suite/music-suite☆51Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 7 years ago
- ☆30Updated 2 years ago
- Exercism exercises in Coq.☆19Updated last year