liamoc / latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
☆56Updated 5 years ago
Related projects: ⓘ
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated 11 months ago
- A pandoc filter to express diagrams inline using the haskell EDSL diagrams.☆37Updated 6 months ago
- Haskell plotting library☆44Updated 3 weeks ago
- Generic random generators☆81Updated last year
- Preprocessor for typesetting Haskell sources with LaTeX☆99Updated 9 months ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated last year
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆37Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 7 years ago
- A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs☆68Updated 2 years ago
- Haskell bindings to the Graphviz toolkit☆64Updated last year
- Create Vega-Lite visualizations from Haskell.☆52Updated 8 months ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 2 years ago
- Source for personal blog.☆77Updated last week
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆55Updated 5 months ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 6 months ago
- The Agda Universal Algebra Library (html docs available at the url below)☆29Updated 3 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆121Updated last month
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆71Updated 4 years ago
- Learn the Agda basics in three 2-hour sessions.☆53Updated 10 months ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆68Updated last month
- Grammatical parsers - combinator library for parsing general context-free grammars☆36Updated 4 months ago
- Summer school on programming in Agda☆67Updated last year
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Where my everyday research happens☆53Updated 3 weeks ago
- An embedded probabilistic programming language.☆34Updated 7 years ago
- A PGF backend for diagrams☆14Updated last week
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆52Updated last year
- Haskell library for simple, concise and fast generic operations.☆74Updated 10 months ago
- The theory of algebraic graphs formalised in Agda☆86Updated 6 years ago