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.☆29Updated this week
- ☆48Updated last month
- An Emacs major mode for editing in pollen markup language☆44Updated 2 years ago
- Data science tooling for Racket☆84Updated 5 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- An Emacs mode writing in the Pollen Markup language☆14Updated 9 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Git for Philosophers☆36Updated last year
- Self-contained, one-step literate markdown.☆26Updated 2 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- A poor guide to Pollen, that amazing document formatting system in Racket☆66Updated 2 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Probabilistic Programming☆42Updated last year
- Convert Pandoc Markdown-style footnotes into sidenotes☆151Updated 8 months ago
- Emacs Does Interactive Prolog☆41Updated 9 months ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Empowered Nix/Guix without root☆37Updated 10 years ago
- Interactive Scheme Primer, written in Scheme.☆22Updated last month
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 4 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- An attemps to make a document to help learn Haskell☆44Updated 6 years ago
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.n…☆28Updated last month
- eclipse plugin to support side-by-side proofs and code☆26Updated 6 years ago
- A data visualization library for Racket.☆37Updated 8 months ago
- Source Codes for "A Pamphlet against R"☆99Updated 3 years ago
- ☆65Updated 7 years ago