Alternatives and similar repositories for latex-formulae:

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

• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆39Updated last month
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 10 months ago
• diagrams / diagrams-pandoc
  A pandoc filter to express diagrams inline using the haskell EDSL diagrams.
  ☆38Updated 11 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• gibiansky / ghc-reskin
  A preprocessor for GHC for alternate Haskell syntaxes
  ☆38Updated 9 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 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.
  ☆47Updated this week
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 7 months ago
• Lysxia / generic-random
  Generic random generators
  ☆81Updated last year
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• DougBurke / hvega
  Create Vega-Lite visualizations from Haskell.
  ☆52Updated 3 weeks ago
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆18Updated 3 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 10 months ago
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆39Updated 6 months ago
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 4 years ago
• adamConnerSax / knit-haskell
  Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.
  ☆29Updated last week
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last week
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆23Updated last month
• guillaumebrunerie / initiality
  A formalized proof of a version of the initiality conjecture
  ☆41Updated 4 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 4 years ago
• sweirich / replib
  Replib: generic programming & Unbound: generic treatment of binders
  ☆44Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 5 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆71Updated 2 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆33Updated 4 years ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆72Updated 5 years ago