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
- Render hierarchical git repositories into HTML☆73Updated 2 months ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Some tools for provability logic☆37Updated 6 years ago
- ⏳ my math blog☆26Updated 3 weeks ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Stroll: an experimental build system☆40Updated last year
- A library for building bots compositionally.☆46Updated 2 weeks ago
- ✍️ My blog. Custom static site generator.☆29Updated last week
- Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll☆57Updated 5 years ago
- Text generation language☆33Updated last month
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated last month
- Remember how long commands take, tell me if I have enough time to make a sandwich☆26Updated 11 months ago
- Exercism exercises in Coq.☆18Updated 4 months ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Jupyter notebooks☆58Updated 3 months ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 6 months ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Bézier curves in Haskell☆28Updated 8 years ago
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Hash-based Diffing for AST's☆76Updated 4 years ago
- Mystery Languages☆38Updated last year
- Functional teaching language for use in a discrete mathematics course☆168Updated 2 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- rslt, take five-ish☆150Updated 3 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago