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:
- Data science tooling for Racket☆84Updated 5 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Self-contained, one-step literate markdown.☆25Updated 2 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆25Updated 11 years ago
- A database and web app to keep track of all my books☆29Updated last week
- Automatically exported from code.google.com/p/full-maude☆16Updated last year
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- Book and code: how to build and distribute applications in Dyalog APL☆33Updated 5 years ago
- Linked data tooling for the Racket programming language (json-ld, eventually more)☆16Updated 6 years ago
- 📘🌼 A bunch of Pollen recipes☆30Updated 3 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- A practical application launcher for impractical people☆12Updated last year
- ✍️ My blog. Custom static site generator.☆29Updated last week
- A bare-bones blogging system, written in Prolog☆26Updated last year
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Git for Philosophers☆36Updated last year
- A tool for manipulating bibtex files as s-expressions☆33Updated 6 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Philosophy diagrams in Ti𝑘Z☆37Updated 3 years ago
- A microKanren framework for implementing constraints.☆18Updated 7 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- A small language to demo turning an interpreter into a compiler☆11Updated 8 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Updated 5 years ago
- Logic for story telling!☆34Updated 7 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Pollen tutorial based on Tufte CSS☆15Updated 4 years ago
- Tutorial materials to teach Racket/Scribble to people without a math or CS background☆23Updated 7 years ago
- ☆13Updated 7 years ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago