Autio / Hegel-WheelLinks
D3 interactive wheel visualisation of Hegel's Science of Logic
☆11Updated 10 years ago
Alternatives and similar repositories for Hegel-Wheel
Users that are interested in Hegel-Wheel are comparing it to the libraries listed below
Sorting:
- Yet Another Graph Visualisation of the logical dependencies in Spinoza's Ethics☆13Updated 9 years ago
- Distill information about amendments to the Oregon Revised Statutes.☆18Updated last month
- Git for Philosophers☆36Updated last year
- Web Archives for Historical Research☆13Updated 7 years ago
- Computational Historical Thinking: With Applications in R☆61Updated 5 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 7 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 10 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 6 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Text Thresher crowd sourced text annotator☆17Updated 7 years ago
- A PhD-level workshop & coding syllabus for teaching Social Network Analysis (SNA) in R☆26Updated 4 years ago
- Replication Package for the Book Non-Democratic Politics by Xavier Marquez☆14Updated 2 years ago
- Symbolic financial contract EDSL☆39Updated 4 years ago
- A framework for natural language syntax and semantics based on type theory.☆13Updated last year
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- An online platform for political participation in schools in Germany (not in active development)☆27Updated 2 years ago
- syllabus (start here!)☆9Updated 9 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- ☆14Updated 8 years ago
- Digital Research Methods with Mathematica, 2nd rev. ed., 2020☆15Updated 4 years ago
- A reimplementation of gitit in Yesod☆95Updated 7 years ago
- Type theory in type theory☆16Updated 13 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Probabilistic Programming☆42Updated last year
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- Directed type theory for formal category theory☆17Updated 8 years ago
- Explorations in relations and the algebra of programming☆17Updated 5 years ago