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
- Catalog of visual lambda calculi☆97Updated last year
- 𝙋𝙝𝙮𝙡𝙤𝙜𝙚𝙣𝙚𝙩𝙞𝙘 𝘾𝙤𝙢𝙥𝙤𝙣𝙚𝙣𝙩 𝙂𝙧𝙖𝙥𝙝 ⸺ Haskell program and libraries for general phylogenetic graph search☆28Updated 2 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆54Updated 3 weeks ago
- Type-safe data versioning.☆98Updated last year
- ⏳ my math blog☆25Updated 2 weeks ago
- Interactive POetry Editor☆27Updated 3 years ago
- rslt, take five-ish☆149Updated 3 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 2 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆77Updated 2 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 3 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆54Updated 2 months ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Domain Specific Languages for Computational Law☆67Updated 3 weeks ago
- Lojban ologs (categorical databases) using jq☆23Updated 5 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆48Updated 9 months ago
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- Yoneda lemma in every known language☆17Updated last year
- A continuation-based backtracking logic programming monad☆85Updated 3 weeks ago
- A categorical semantics library in Agda.☆17Updated 4 years ago
- Simple plotting tool for the terminal☆86Updated last year
- Hash-based Diffing for AST's☆75Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A dynamic data-driven document development environment (DDDDDE)☆80Updated last year
- The theory of algebraic graphs formalised in Agda☆87Updated 6 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- Resources for making sense of topology and its concepts☆17Updated 3 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- A logical authorization system☆50Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 2 years ago
- Agda lecture notes for the Functional Programming course at TU Delft☆117Updated 7 months ago