Alternatives and similar repositories for Hegel-Wheel:

Users that are interested in Hegel-Wheel are comparing it to the libraries listed below

• Autio / Ethics
  Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics
  ☆13Updated 9 years ago
• mattmight / bib2sx
  A tool for manipulating bibtex files as s-expressions
  ☆33Updated 6 years ago
• OpenLogicProject / forallx
  P.D. Magnus' forallx logic textbook
  ☆64Updated last year
• ledeprogram / algorithms
  Repository for the Algorithms course
  ☆22Updated 8 years ago
• saltvedt / explore-sep
  Visualizing the Stanford Encyclopedia of Philosophy
  ☆21Updated 7 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• xmarquez / AuthoritarianismBook
  Replication Package for the Book Non-Democratic Politics by Xavier Marquez
  ☆13Updated last year
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆31Updated last year
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 months ago
• dfaligertwood / pandoc-filters
  Various filters I have written for use with the fantastic jgm/pandoc. Once in python, now in haskell.
  ☆16Updated 4 years ago
• oscarlevin / pandoc-pretext
  A custom Lua writer to convert anything pandoc reads to PreTeXt.
  ☆13Updated 6 months ago
• kjhealy / plain-text.co
  http://plain-text.co
  ☆68Updated 4 years ago
• Ronggui / RQDA
  R-based Qualitative Data Analysis
  ☆113Updated 3 years ago
• ImperialCollegeLondon / M4P33
  M4 algebraic geometry course in Lean
  ☆59Updated 4 years ago
• byorgey / series-formelles
  Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…
  ☆29Updated 6 months ago
• nicolabotta / SeqDecProbs
  ☆14Updated 7 years ago
• stacks / stacks-tools
  Tools for managing the TeX sources of the Stacks project
  ☆16Updated 7 months ago
• rzach / sets-logic-computation
  Textbook on metalogic based on the Open Logic Project
  ☆36Updated last year
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• rmculpepper / gamble
  Probabilistic Programming
  ☆41Updated last year
• mouse-reeve / fact-join
  Combine two wikipedia pages to make new facts. Tweets @brand_new_facts
  ☆18Updated 6 years ago
• public-law / oregon-law-parser
  Distill information about amendments to the Oregon Revised Statutes.
  ☆18Updated last year
• baig / brackets-zotero
  Use Zotero to add citations and manage bibliographies in Scholarly Markdown files in Brackets.
  ☆10Updated 9 years ago
• Bookworm-project / BookwormDB
  Tools for text tokenization and encoding
  ☆84Updated 3 years ago
• dlab-berkeley / python-for-everything
  Materials for teaching the Python for Everything workshop at UC Berkeley's D-lab
  ☆72Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆29Updated 8 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 9 months ago
• teflonbeltran / Anthropology-of-Silicon-Valley
  Syllabus for "Anthropology of Silicon Valley(s)" course
  ☆14Updated 7 years ago