saltvedt / explore-sep
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
- A brief presentation on Denotational Design, based on Conal Elliott's workβ24Updated 5 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS backgroundβ23Updated 7 years ago
- ππAn experimental blog written in Pollen / Racketβ79Updated 3 years ago
- An Emacs major mode for editing in pollen markup languageβ43Updated 2 years ago
- A poor guide to Pollen, that amazing document formatting system in Racketβ65Updated 2 years ago
- Data science tooling for Racketβ84Updated 5 years ago
- Configuration files and experimental, one-off codeβ62Updated 3 years ago
- Emacs Does Interactive Prologβ41Updated 6 months ago
- A Server and an In-Browser Editor For Pollen Publishing Systemβ45Updated 2 years ago
- An Emacs mode writing in the Pollen Markup languageβ14Updated 8 years ago
- Lightweight, interactive screen reader for Emacsβ26Updated last year
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"β15Updated 7 years ago
- Game theory in Clojureβ18Updated 12 years ago
- ππΌ A bunch of Pollen recipesβ30Updated 3 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)β16Updated 6 years ago
- A simple Emacs mode for marking papers with Org.β31Updated 2 weeks ago
- Example Racket games and demos using the 'How to Design Programs' framework with sprites, worlds, animation and game logic.β31Updated 5 years ago
- Submit data to Beeminder from within Emacs. Also integrates with org-mode.β28Updated 4 years ago
- β48Updated this week
- I.I-XI of Spinoza's Ethics, formalized in Coqβ18Updated 9 years ago
- Racket parser combinators inspired by parsack and megaparsecβ80Updated 5 months ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. π¦β24Updated 10 months ago
- miniKanren for interactive tutorials on the webβ33Updated 7 years ago
- embed haskell diagrams in emacs org-mode filesβ10Updated 9 years ago
- Emacs minor mode for handling CriticMarkup.β58Updated 11 months ago
- Graphical implementation of the Game of Life for Emacsβ17Updated 4 years ago
- Pandoc filter to use Wikidata as reference managerβ17Updated 4 years ago
- Prolog HTTPS Serversβ37Updated 7 years ago
- A tool for manipulating bibtex files as s-expressionsβ33Updated 6 years ago
- A practical application launcher for impractical peopleβ12Updated last year