Autio / Hegel-WheelLinks
D3 interactive wheel visualisation of Hegel's Science of Logic
☆13Updated 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 10 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 7 years ago
- Visualizing the Stanford Encyclopedia of Philosophy☆22Updated 8 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- Symbolic financial contract EDSL☆39Updated 5 years ago
- Git for Philosophers☆35Updated 2 years ago
- PDBF - A Toolkit for Creating Janiform Data Documents☆50Updated 9 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- Combine two wikipedia pages to make new facts. Tweets @brand_new_facts☆18Updated 7 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Probabilistic Programming☆44Updated 3 months ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- some maths papers in English☆19Updated this week
- analyses related to nCoV-2020 outbreak☆33Updated 5 years ago
- Riemann Hypothesis book☆74Updated 8 years ago
- The mark of quality and trust for open data☆46Updated 2 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated this week
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Dr. Bayes☆84Updated 9 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- LaTeX version of Grothendieck's Pursuing Stacks☆53Updated 4 years ago
- ☆99Updated 3 years ago
- A reimplementation of gitit in Yesod☆97Updated 7 years ago
- website, lectures, and other material for Columbia University course "data: past, present, and future"☆185Updated last year
- The Heterogeneous Tool Set☆60Updated 4 months ago
- Our public-facing website!☆14Updated 4 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Updated 11 years ago
- Mathematical Components (the Book)☆149Updated 4 months ago
- This repository has migrated to https://gitlab.com/dissemin/dissemin☆164Updated 4 years ago