shapr / fermatslastmargin
tool for creating and sharing annotations, using github for storage and social network
☆87Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for fermatslastmargin
- Render hierarchical git repositories into HTML☆73Updated 3 months ago
- ⏳ my math blog☆25Updated last month
- Some tools for provability logic☆36Updated 6 years ago
- ✍️ My blog. Custom static site generator.☆29Updated last week
- So, you want to write a DSL interpreter...☆25Updated 6 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A prettyprinting library designed for laying out plain text documents☆22Updated 2 months ago
- Text generation language☆32Updated 3 weeks ago
- Generate semi-dynamic UIs with Concur☆58Updated 3 years ago
- rslt, take five-ish☆149Updated 3 years ago
- An automatic declarative ASCIInema recorder☆41Updated last year
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- Remember how long commands take, tell me if I have enough time to make a sandwich☆25Updated 6 months ago
- Type-safe data versioning.☆98Updated last year
- Jupyter notebooks☆58Updated 3 weeks ago
- A database and web app to keep track of all my books☆26Updated this week
- Madlang is a language for generative literature☆51Updated 6 years ago
- A modern tool for literate programming☆273Updated 7 years ago
- Create Vega-Lite visualizations from Haskell.☆52Updated this week
- A math language for dimensional analysis☆22Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A graphical interactive proof assistant designed for education☆161Updated this week
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆28Updated 2 years ago
- Live-code music in Haskell!☆35Updated 11 months ago
- BDD-based implementation of Datalog☆36Updated 4 years ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- things that don't deserve their own repo☆63Updated 5 months ago