Alternatives and similar repositories for fermatslastmargin:

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

• 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.
  ☆29Updated this week
• vaibhavsagar / notebooks
  Jupyter notebooks
  ☆58Updated 3 months ago
• bennorth / literate-git
  Render hierarchical git repositories into HTML
  ☆73Updated 2 months ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 6 months ago
• srid / rib
  Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)
  ☆119Updated 2 years ago
• vaibhavsagar / duffer
  A git-compatible content tracker in Haskell.
  ☆67Updated 5 years ago
• cdosborn / lit
  A modern tool for literate programming
  ☆274Updated 7 years ago
• paolobrasolin / krater
  Template to effortlessly build math-rich websites
  ☆39Updated 3 years ago
• shapr / sandwatch
  Remember how long commands take, tell me if I have enough time to make a sandwich
  ☆26Updated 10 months ago
• barrucadu / bookdb
  A database and web app to keep track of all my books
  ☆29Updated this week
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆27Updated 4 years ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated 6 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 3 months ago
• owickstrom / pandoc-emphasize-code
  A Pandoc filter for emphasizing code in fenced blocks
  ☆29Updated last year
• dmwit / pulp
  pulp: process your LaTeX log file with pulp and make a better paper
  ☆46Updated 8 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• noamz / linlam
  a library for experimental linear lambda calculus
  ☆19Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last month
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated last month
• soupi / minimal-haskell-emacs
  A minimal emacs configuration for haskell programming
  ☆31Updated 2 years ago
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆101Updated last year
• vmchale / madlang
  Madlang is a language for generative literature
  ☆51Updated 6 years ago
• well-typed / full-text-search
  An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.
  ☆49Updated last month
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated 2 weeks ago
• DougBurke / hvega
  Create Vega-Lite visualizations from Haskell.
  ☆54Updated this week
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 4 years ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year