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 9 months ago
- ✍️ My blog. Custom static site generator.☆31Updated this week
- Jupyter notebooks☆58Updated 10 months ago
- ⏳ my math blog☆29Updated 5 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 6 years ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆118Updated 3 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 4 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- A modern tool for literate programming☆277Updated 8 years ago
- rslt, take five-ish☆152Updated 4 years ago
- my Hakyll blog☆20Updated last year
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- Web-based reference manager, written in Haskell.☆30Updated 9 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A Haskell implementation of the Jupyter messaging protocol☆41Updated 5 years ago
- Lambda calculus go brrrr☆30Updated 2 years ago
- Source code for doisinkidney.com☆14Updated this week
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- Live-code music in Haskell!☆34Updated last year
- Stroll: an experimental build system☆41Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- Madlang is a language for generative literature☆51Updated 7 years ago
- Braiding extensible effects together in a pipeline/workflow of tasks☆60Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 3 months ago
- ☆65Updated 7 years ago
- Libraries and tool for parsing Org Mode documents with customizable exporters. 🦄☆24Updated last month
- All the Transient libraries☆42Updated last month
- Text generation language☆34Updated 2 weeks ago