saltvedt / explore-sep
Visualizing the Stanford Encyclopedia of Philosophy
☆21Updated 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
- Interactive POetry Editor☆28Updated 3 years ago
- A database and web app to keep track of all my books☆27Updated this week
- Emacs client for Semantic Synchrony knowledge graphs☆12Updated last year
- Reproducible Research using R in Emacs☆9Updated 7 years ago
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- Pollen inspired lozenge syntax for Emacs☆29Updated 5 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- Emacs Does Interactive Prolog☆39Updated 3 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆59Updated 6 years ago
- Remembrance Agents for Org-mode, powered by Recoll☆18Updated 5 years ago
- Comment link type for Org mode files☆14Updated 2 years ago
- A microKanren framework for implementing constraints.☆19Updated 6 years ago
- An Emacs mode writing in the Pollen Markup language☆14Updated 8 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- A guide for writers for using Git and related services.☆38Updated 14 years ago
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- Modernized mode-line or status bar for emacs☆17Updated 8 years ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- Research notebooks in Python, with the power of literate programming and Markdown.☆41Updated 11 years ago
- A simple Emacs mode for marking papers with Org.☆29Updated 3 years ago
- Empowered Nix/Guix without root☆35Updated 9 years ago
- Submit data to Beeminder from within Emacs. Also integrates with org-mode.☆28Updated 4 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- ☆46Updated this week
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- Static site in Pollen☆15Updated 8 years ago
- ☆25Updated last year
- Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.☆26Updated 2 years ago
- A Markdown version of the free textbook created by Walter Ott☆23Updated 10 years ago