Alternatives and similar repositories for explore-sep:

Users that are interested in explore-sep are comparing it to the libraries listed below

• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆90Updated 3 years ago
• sulami / blog
  ✍️ My blog. Custom static site generator.
  ☆29Updated last week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆80Updated 3 years ago
• lijunsong / pollen-mode
  An Emacs major mode for editing in pollen markup language
  ☆43Updated 2 years ago
• estradilua / org-mode-hs
  Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄
  ☆24Updated 11 months ago
• dunn / modernphilosophy
  A Markdown version of the free textbook created by Walter Ott
  ☆23Updated 10 years ago
• fasiha / pollen-guide
  A poor guide to Pollen, that amazing document formatting system in Racket
  ☆66Updated 2 years ago
• abingham / categories-for-programmers
  A sphinx project for Bartosz Milewski's book "Categories for Programmers"
  ☆15Updated 7 years ago
• gjoncas / Diagrammatic
  Philosophy diagrams in Ti𝑘Z
  ☆35Updated 3 years ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• mlemmer / DigitalHumanities
  Tutorial materials to teach Racket/Scribble to people without a math or CS background
  ☆23Updated 7 years ago
• barrucadu / bookdb
  A database and web app to keep track of all my books
  ☆29Updated this week
• scott-fleischman / greek-grammar
  Modeling Ancient Greek Grammar
  ☆50Updated 6 years ago
• n3mo / data-science
  Data science tooling for Racket
  ☆84Updated 5 years ago
• malcolmstill / mstill.io
  Static site in Pollen
  ☆15Updated 8 years ago
• skbaek / Ethics
  I.I-XI of Spinoza's Ethics, formalized in Coq
  ☆18Updated 9 years ago
• rebcabin / tangledown
  Self-contained, one-step literate markdown.
  ☆23Updated 2 years ago
• wikicite / wcite
  Pandoc filter to use Wikidata as reference manager
  ☆17Updated 4 years ago
• 5jt / dyalog-cookbook
  Book and code: how to build and distribute applications in Dyalog APL
  ☆33Updated 5 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• robstewart57 / rdf4h
  rdf4h is a library for working with RDF in Haskell
  ☆77Updated last month
• exercism / coq
  Exercism exercises in Coq.
  ☆18Updated 6 months ago
• Kungsgeten / lozenge.el
  Pollen inspired lozenge syntax for Emacs
  ☆30Updated 5 years ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated last year
• synchrony / smsn-mode
  Emacs client for Semantic Synchrony knowledge graphs
  ☆12Updated last year
• triska / ediprolog
  Emacs Does Interactive Prolog
  ☆41Updated 7 months ago
• lijunsong / pollen-rock
  A Server and an In-Browser Editor For Pollen Publishing System
  ☆46Updated 2 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 5 years ago