saltvedt / explore-sepLinks
Visualizing the Stanford Encyclopedia of Philosophy
☆22Updated 7 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☆90Updated 3 years ago
- ✍️ My blog. Custom static site generator.☆30Updated last week
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Convert Pandoc Markdown-style footnotes into sidenotes☆152Updated 9 months ago
- A data visualization library for Racket.☆37Updated 8 months ago
- An Emacs mode writing in the Pollen Markup language☆14Updated 9 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- A Server and an In-Browser Editor For Pollen Publishing System☆46Updated 2 years ago
- 📔🌼 An example website/book created with Pollen.☆132Updated 2 months ago
- Git for Philosophers☆36Updated 2 years ago
- A poor guide to Pollen, that amazing document formatting system in Racket☆66Updated 2 years ago
- Website for the malleable systems and software community☆63Updated 4 months ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Exercism exercises in Coq.☆19Updated 9 months ago
- eclipse plugin to support side-by-side proofs and code☆26Updated 6 years ago
- Configuration files and experimental, one-off code☆62Updated 3 years ago
- Emacs Does Interactive Prolog☆41Updated 10 months ago
- a clone of dmenu written in OCaml.☆46Updated 4 years ago
- Textbook on metalogic based on the Open Logic Project☆43Updated last month
- please use https://forums.matthewbutterick.com/c/typesetting/ instead☆52Updated 3 years ago
- 📘🌼 A bunch of Pollen recipes☆30Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- A semantic Extension of TeX/LaTeX☆53Updated last week
- A modern tool for literate programming☆275Updated 8 years ago
- 🔖⚛️ RSS / Atom feed generation library for Racket☆22Updated 4 months ago
- things that don't deserve their own repo☆64Updated last month
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.☆31Updated 5 years ago
- Babel for Pandoc☆23Updated 10 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago