saltvedt / explore-sepLinks
Visualizing the Stanford Encyclopedia of Philosophy
☆22Updated 8 years ago
Alternatives and similar repositories for explore-sep
Users that are interested in explore-sep are comparing it to the libraries listed below
Sorting:
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- ✍️ My blog. Custom static site generator.☆31Updated last week
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- A reimplementation of gitit in Yesod☆96Updated 7 years ago
- rslt, take five-ish☆150Updated 4 years ago
- Convert Pandoc Markdown-style footnotes into sidenotes☆152Updated last month
- Website for the malleable systems and software community☆63Updated this week
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆14Updated 8 years ago
- Semantic Synchrony. An experiment in cognitive and sensory augmentation.☆184Updated last month
- Git for Philosophers☆35Updated 2 years ago
- ☆65Updated 7 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 7 years ago
- A poor guide to Pollen, that amazing document formatting system in Racket☆67Updated 3 years ago
- *Frictionless* blogging with Org Mode. No setup required.☆103Updated last year
- A database and web app to keep track of all my books☆28Updated this week
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- 📔🌼 An example website/book created with Pollen.☆132Updated 7 months ago
- Book and code: how to build and distribute applications in Dyalog APL☆32Updated 6 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 10 years ago
- A data visualization library for Racket.☆38Updated last year
- Exercism exercises in Coq.☆19Updated last year
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- A Server and an In-Browser Editor For Pollen Publishing System☆46Updated 2 years ago
- Attoparsec parser combinators for parsing org-mode structured text!☆91Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 7 years ago
- ☆27Updated 2 years ago
- Emacs Does Interactive Prolog☆44Updated last year
- create static websites from YAML data and string templates☆396Updated last year