liamoc / latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
☆57Updated 5 years ago
Alternatives and similar repositories for latex-formulae:
Users that are interested in latex-formulae are comparing it to the libraries listed below
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Haskell plotting library☆44Updated 6 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated 11 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆38Updated last year
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆39Updated 7 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 3 years ago
- Generic functions for single-sorted first-order structural unification☆42Updated this week
- DIY Markov Chains.☆25Updated 3 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆107Updated last year
- Create Vega-Lite visualizations from Haskell.☆54Updated 2 months ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 11 months ago
- Library of categories, with categorical constructions on them☆55Updated last year
- Categorical logic from a categorical point of view☆77Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 9 months ago
- Preprocessor for typesetting Haskell sources with LaTeX☆101Updated last year
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- Literate Haskell support for Markdown☆140Updated last week
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- The Haskell LaTeX library.☆199Updated last year
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Updated 4 years ago
- Haskell library of data types and calculations for positions on planet Earth☆20Updated this week
- Generic random generators☆81Updated last year
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics☆56Updated 4 years ago
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 2 weeks ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago
- Where my everyday research happens☆52Updated this week