Alternatives and similar repositories for Ethics

Users that are interested in Ethics are comparing it to the libraries listed below

• Autio / Hegel-Wheel
  D3 interactive wheel visualisation of Hegel's Science of Logic
  ☆11Updated 10 years ago
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆22Updated 7 years ago
• rzach / git4phi
  Git for Philosophers
  ☆36Updated last year
• synchrony / smsn-mode
  Emacs client for Semantic Synchrony knowledge graphs
  ☆12Updated last year
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆36Updated 3 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• cwebber / racket-linkeddata
  Linked data tooling for the Racket programming language (json-ld, eventually more)
  ☆16Updated 6 years ago
• ehildenb / pandoc-tangle
  Simple tangler for Pandoc
  ☆15Updated 2 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• iblech / scheme-theory-in-agda
  A formalization of synthetic algebraic geometry in Agda
  ☆14Updated 6 years ago
• agda-attic / agda-web-semantic
  Agda libraries for the semantic web
  ☆24Updated 6 years ago
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• gjoncas / Artificial-Philosophy
  m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…
  ☆28Updated 5 years ago
• hellerve / blog
  My personal blog
  ☆14Updated last week
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆29Updated 9 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆22Updated last year
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• guenchi / Quantum
  A lambda calculus for quantum computation
  ☆13Updated 6 years ago
• mlemmer / DigitalHumanities
  Tutorial materials to teach Racket/Scribble to people without a math or CS background
  ☆23Updated 7 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 7 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 7 months ago
• novoid / extract_pdf_annotations_to_orgmode
  Extracting RepliGo PDF annotations to a Org-mode format snippet (unmaintained!)
  ☆28Updated 9 years ago
• favonia / homotopy
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆26Updated 10 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• quchen / agda-learning
  Stuff I’m writing to learn Agda.
  ☆9Updated 5 years ago