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 last year
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 2 months ago
• liamoc / latex-formulae
  Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
  ☆57Updated 6 years ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆118Updated 3 years ago
• sulami / blog
  ✍️ My blog. Custom static site generator.
  ☆31Updated last week
• isovector / reasonablypolymorphic.com
  ⏳ my math blog
  ☆29Updated 3 weeks ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆74Updated 5 years ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆85Updated 8 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 6 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
• RKlompUU / FPSheet
  FPSheet: A Spreadsheet program with Haskell as the scripting language
  ☆96Updated 4 years ago
• argumatronic / argumatronic
  my Hakyll blog
  ☆20Updated 2 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 7 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆42Updated 2 years ago
• gibiansky / jupyter-haskell
  A Haskell implementation of the Jupyter messaging protocol
  ☆41Updated 5 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated last year
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 3 years ago
• shapr / sandwatch
  Remember how long commands take, tell me if I have enough time to make a sandwich
  ☆26Updated last year
• prathyvsh / learning-topology
  Resources for making sense of topology and its concepts
  ☆18Updated 5 years ago
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• giorgidze / set-monad
  Set monad
  ☆19Updated 2 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆24Updated 4 months ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• evinism / lambda-explorer
  Tutorial / REPL for the lambda calculus
  ☆67Updated last year
• pavelchristof / syntax
  Reversible parsing and pretty-printing.
  ☆17Updated 11 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 4 months ago
• oisdk / site
  Source code for doisinkidney.com
  ☆14Updated 2 weeks ago