Alternatives and similar repositories for latex-formulae

Users that are interested in latex-formulae are comparing it to the libraries listed below

• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated last year
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• DougBurke / hvega
  Create Vega-Lite visualizations from Haskell.
  ☆55Updated 3 months ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆79Updated last year
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 10 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆90Updated 6 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated last year
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• kosmikus / lhs2tex
  Preprocessor for typesetting Haskell sources with LaTeX
  ☆103Updated last year
• wenkokke / NLQ
  A framework for natural language syntax and semantics based on type theory.
  ☆13Updated last year
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated this week
• thumphries / hgrep
  Search Haskell source code from the command line
  ☆75Updated 4 years ago
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 9 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 weeks ago
• gallais / potpourri
  Where my everyday research happens
  ☆53Updated 2 weeks ago
• tomsmeding / pastebin-haskell
  Pastebin service in haskell
  ☆31Updated 7 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆73Updated 3 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 10 months ago
• olivierverdier / spacemacs-coq
  A very simple coq layer for spacemacs
  ☆36Updated 6 years ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• alpheccar / HPDF
  Haskell library for PDF generation (graphics and typesetting)
  ☆26Updated 5 years ago
• konn / sdg-agda
  Synthetic Differential Geometry in Agda
  ☆12Updated 10 years ago
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆22Updated 3 months ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 3 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 3 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆59Updated last year