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β91Updated 3 years ago
- ππ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
- A reimplementation of gitit in Yesodβ95Updated 7 years ago
- βοΈ My blog. Custom static site generator.β30Updated last week
- ππΌ An example website/book created with Pollen.β132Updated 3 months ago
- Convert Pandoc Markdown-style footnotes into sidenotesβ153Updated 10 months ago
- An Emacs mode writing in the Pollen Markup languageβ14Updated 9 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's workβ25Updated this week
- A guide for writers for using Git and related services.β38Updated 15 years ago
- The Definition of Standard ML, Revised (1997)β115Updated 8 years ago
- A prettyprinting library designed for laying out plain text documentsβ24Updated 2 weeks ago
- *Frictionless* blogging with Org Mode. No setup required.β103Updated 9 months ago
- Exercism exercises in Coq.β19Updated 10 months ago
- embed haskell diagrams in emacs org-mode filesβ10Updated 9 years ago
- eclipse plugin to support side-by-side proofs and codeβ25Updated 6 years ago
- A poor guide to Pollen, that amazing document formatting system in Racketβ66Updated 2 years ago
- The Racket pastebin.β30Updated 3 years ago
- Interactive POetry Editorβ28Updated 3 years ago
- An Emacs major mode for editing in pollen markup languageβ44Updated 3 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)β16Updated 7 years ago
- Book and code: how to build and distribute applications in Dyalog APLβ33Updated 5 years ago
- Configuration files and experimental, one-off codeβ62Updated 4 years ago
- A data visualization library for Racket.β38Updated 10 months ago
- A tool for manipulating bibtex files as s-expressionsβ33Updated 6 years ago
- A database and web app to keep track of all my booksβ28Updated last week
- A Markdown version of the free textbook created by Walter Ottβ23Updated 11 years ago
- A very simple coq layer for spacemacsβ37Updated 6 years ago
- Website for the malleable systems and software communityβ63Updated 5 months ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"β14Updated 7 years ago