shapr / fermatslastmargin
tool for creating and sharing annotations, using github for storage and social network
☆88Updated 3 years ago
Alternatives and similar repositories for fermatslastmargin:
Users that are interested in fermatslastmargin are comparing it to the libraries listed below
- Render hierarchical git repositories into HTML☆73Updated last month
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Jupyter notebooks☆58Updated 2 months ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 2 years ago
- A library for building bots compositionally.☆41Updated last year
- rslt, take five-ish☆150Updated 3 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 5 months ago
- Some tools for provability logic☆37Updated 6 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆78Updated 3 years ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last week
- A graphical interactive proof assistant designed for education☆165Updated 3 months ago
- A database and web app to keep track of all my books☆29Updated this week
- Text generation language☆33Updated last month
- Remember how long commands take, tell me if I have enough time to make a sandwich☆25Updated 9 months ago
- pulp: process your LaTeX log file with pulp and make a better paper☆46Updated 7 years ago
- A grammar of data manipulation for Racket.☆20Updated 3 months ago
- A modern tool for literate programming☆274Updated 7 years ago
- A git-compatible content tracker in Haskell.☆66Updated 5 years ago
- An efficient graph library for Haskell☆39Updated 6 months ago
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆30Updated 2 years ago
- Domain Specific Languages for Computational Law☆70Updated last week
- This project is to contain a listing of common theorems in elementary category theory.☆72Updated 4 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Simple plotting tool for the terminal☆86Updated last year
- Exercism exercises in Coq.☆18Updated 3 months ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 6 months ago