shapr / fermatslastmarginLinks
tool for creating and sharing annotations, using github for storage and social network
☆91Updated 3 years ago
Alternatives and similar repositories for fermatslastmargin
Users that are interested in fermatslastmargin are comparing it to the libraries listed below
Sorting:
- Render hierarchical git repositories into HTML☆74Updated 8 months ago
- ✍️ My blog. Custom static site generator.☆30Updated this week
- Jupyter notebooks☆58Updated 9 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- A Haskell implementation of the Jupyter messaging protocol☆41Updated 5 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- ⏳ my math blog☆29Updated 4 months ago
- Some tools for provability logic☆37Updated 7 years ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆118Updated 3 years ago
- 📖 view and generate static websites from your Org files (WIP).☆20Updated last year
- Brent's PhD thesis.☆69Updated 9 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 2 months ago
- my Hakyll blog☆20Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- i bet you there is a typesystem behind music☆32Updated 6 years ago
- Source code for doisinkidney.com☆14Updated 3 weeks ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated last year
- Reversible parsing and pretty-printing.☆17Updated 10 years ago
- An efficient graph library for Haskell☆38Updated 3 weeks ago
- Oleg Kiselyov's zipper-based file-server/OS☆26Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- A prettyprinting library designed for laying out plain text documents☆24Updated 2 weeks ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated this week
- ☆37Updated last year
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Stroll: an experimental build system☆41Updated 2 years ago
- A data visualization library for Racket.☆38Updated 10 months ago