shapr / fermatslastmargin
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☆73Updated 4 months ago
- ✍️ My blog. Custom static site generator.☆29Updated this week
- ⏳ my math blog☆28Updated last week
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- rslt, take five-ish☆149Updated 3 years ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 8 years ago
- Jupyter notebooks☆58Updated 5 months ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated last year
- Hash-based Diffing for AST's☆76Updated 5 years ago
- Domain Specific Languages for Computational Law☆74Updated 3 months ago
- Some tools for provability logic☆37Updated 7 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- A minimal emacs configuration for haskell programming☆31Updated 2 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆80Updated 3 years ago
- things that don't deserve their own repo☆64Updated last month
- A library for building bots compositionally.☆47Updated 2 months ago
- A database and web app to keep track of all my books☆29Updated this week
- An automatic declarative ASCIInema recorder☆42Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 months ago
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 8 months ago
- Stroll: an experimental build system☆40Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Automating various decisions stochastically, starting with my current coin-based intermittent fasting and dice-based kettlebell.☆22Updated 7 years ago
- ☆23Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 7 months ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 3 years ago