shapr / fermatslastmarginLinks
tool for creating and sharing annotations, using github for storage and social network
☆90Updated 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 6 months ago
- ⏳ my math blog☆28Updated 2 months ago
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Jupyter notebooks☆58Updated 7 months ago
- A database and web app to keep track of all my books☆29Updated this week
- ✍️ My blog. Custom static site generator.☆29Updated this week
- A prettyprinting library designed for laying out plain text documents☆23Updated last month
- rslt, take five-ish☆150Updated 4 years ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆31Updated 3 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Updated 3 years ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Text generation language☆34Updated 2 weeks ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Type-safe data versioning.☆98Updated last year
- A Haskell implementation of the Jupyter messaging protocol☆41Updated 5 years ago
- Madlang is a language for generative literature☆51Updated 7 years ago
- This project is to contain a listing of common theorems in elementary category theory.☆73Updated 5 years ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated 2 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- ☆37Updated last year
- User Interfaces for Programming Languages: The Compendium☆28Updated 4 years ago
- ☆48Updated last month
- Haskell Diagrams for Penrose Kite and Dart non-periodic tilings☆16Updated last week
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆22Updated 6 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- Some tools for provability logic☆37Updated 7 years ago