saltvedt / explore-sep
Visualizing the Stanford Encyclopedia of Philosophy
β20Updated 6 years ago
Related projects: β
- A Server and an In-Browser Editor For Pollen Publishing Systemβ45Updated last year
- ππAn experimental blog written in Pollen / Racketβ77Updated 2 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS backgroundβ23Updated 6 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)β16Updated 6 years ago
- ππΌ A bunch of Pollen recipesβ29Updated 2 years ago
- embed haskell diagrams in emacs org-mode filesβ10Updated 8 years ago
- Data science tooling for Racketβ84Updated 5 years ago
- A database and web app to keep track of all my booksβ26Updated this week
- A poor guide to Pollen, that amazing document formatting system in Racketβ60Updated last year
- tool for creating and sharing annotations, using github for storage and social networkβ87Updated 2 years ago
- An Emacs mode writing in the Pollen Markup languageβ14Updated 8 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'β59Updated 5 years ago
- Pollen tutorial based on Tufte CSSβ15Updated 3 years ago
- A tool for manipulating bibtex files as s-expressionsβ33Updated 5 years ago
- β28Updated this week
- Interactive POetry Editorβ27Updated 2 years ago
- An Emacs major mode for editing in pollen markup languageβ42Updated 2 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's workβ24Updated 4 years ago
- Static site in Pollenβ15Updated 7 years ago
- βοΈ My blog. Custom static site generator.β28Updated this week
- Lojban ologs (categorical databases) using jqβ23Updated 5 years ago
- Factorization diagrams!β15Updated last year
- A Markdown version of the free textbook created by Walter Ottβ23Updated 10 years ago
- please use https://forums.matthewbutterick.com/c/typesetting/ insteadβ52Updated 2 years ago
- A very simple coq layer for spacemacsβ36Updated 5 years ago
- Emacs Does Interactive Prologβ37Updated last year
- ππΌ An example website/book created with Pollen.β126Updated last year
- A prettyprinting library designed for laying out plain text documentsβ22Updated last week
- Multiple side-by-side windows support package for Emacsβ34Updated 9 years ago
- Bringing Prolog to the masses.β35Updated 2 years ago