shapr / fermatslastmarginLinks
tool for creating and sharing annotations, using github for storage and social network
☆91Updated 4 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 last year
- ✍️ My blog. Custom static site generator.☆31Updated last week
- Jupyter notebooks☆58Updated 2 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
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆118Updated 3 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆74Updated 5 years ago
- ⏳ my math blog☆29Updated last month
- Reversible parsing and pretty-printing.☆17Updated 11 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- So, you want to write a DSL interpreter...☆25Updated 7 years ago
- ☆44Updated 3 years ago
- rslt, take five-ish☆151Updated 4 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆60Updated last year
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- ☆42Updated 7 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated 2 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Updated 4 months ago
- Madlang is a language for generative literature☆51Updated 7 years ago
- A git-compatible content tracker in Haskell.☆67Updated 6 years ago
- A categorical semantics library in Agda.☆16Updated 6 years ago
- A prettyprinting library designed for laying out plain text documents☆24Updated 5 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆35Updated last year
- ☆49Updated last month
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- my Hakyll blog☆20Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- i bet you there is a typesystem behind music☆32Updated 7 years ago