Alternatives and similar repositories for fermatslastmargin

Users that are interested in fermatslastmargin are comparing it to the libraries listed below

• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆74Updated 7 months ago
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 8 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 5 years ago
• sulami / blog
  ✍️ My blog. Custom static site generator.
  ☆30Updated this week
• isovector / reasonablypolymorphic.com
  ⏳ my math blog
  ☆28Updated 3 months ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆119Updated 3 years ago
• argumatronic / argumatronic
  my Hakyll blog
  ☆20Updated last year
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆151Updated 4 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated 2 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated last month
• oisdk / site
  Source code for doisinkidney.com
  ☆14Updated 3 months ago
• quchen / generative-art
  I wanted to make a nicer sticker for Munihac, then things got out of hand.
  ☆150Updated 6 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆66Updated 10 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆275Updated 8 years ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 7 years ago
• dfithian / chez-grater
  ☆37Updated last year
• bjornbm / dimensional
  Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
  ☆112Updated 9 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated 2 years ago
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 3 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last month
• snowleopard / stroll
  Stroll: an experimental build system
  ☆41Updated 2 years ago