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:
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆24Updated 6 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- Data science tooling for Racket☆84Updated 5 years ago
- A sphinx project for Bartosz Milewski's book "Categories for Programmers"☆15Updated 7 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Get psyched about mapping knowledge!☆30Updated last year
- A poor guide to Pollen, that amazing document formatting system in Racket☆66Updated 2 years ago
- My personal blog☆14Updated last week
- ✍️ My blog. Custom static site generator.☆29Updated this week
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- ☆48Updated last week
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- Interactive Scheme Primer, written in Scheme.☆21Updated 8 months ago
- Git for Philosophers☆36Updated last year
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- A tool for working with Org-mode data from command-line, tuned to my own use cases☆19Updated last week
- Interactive POetry Editor☆28Updated 3 years ago
- eclipse plugin to support side-by-side proofs and code☆25Updated 6 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- Exercism exercises in Coq.☆18Updated 7 months ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆58Updated 6 years ago
- Coordinating my guix hacking☆8Updated 6 years ago
- Static site in Pollen☆15Updated 8 years ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 8 months ago
- Self-contained, one-step literate markdown.☆24Updated 2 years ago