shapr / fermatslastmargin
tool for creating and sharing annotations, using github for storage and social network
☆89Updated 3 years ago
Alternatives and similar repositories for fermatslastmargin:
Users that are interested in fermatslastmargin are comparing it to the libraries listed below
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- ✍️ My blog. Custom static site generator.☆29Updated this week
- Jupyter notebooks☆58Updated 3 months ago
- Render hierarchical git repositories into HTML☆73Updated 2 months ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 6 months ago
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 2 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- A modern tool for literate programming☆274Updated 7 years ago
- Template to effortlessly build math-rich websites☆39Updated 3 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated 10 months ago
- A database and web app to keep track of all my books☆29Updated this week
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 6 months ago
- A graphical interactive proof assistant designed for education☆166Updated 3 months ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Updated last year
- 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 8 years ago
- a library for experimental linear lambda calculus☆19Updated last year
- A relational interpretation of Lojban☆33Updated last month
- Functional teaching language for use in a discrete mathematics course☆168Updated last month
- A minimal emacs configuration for haskell programming☆31Updated 2 years ago
- ☆22Updated 2 years ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- Madlang is a language for generative literature☆51Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated last month
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 weeks ago
- Create Vega-Lite visualizations from Haskell.☆54Updated this week
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Catalog of visual lambda calculi☆109Updated last year