tuura / pangraph
A Haskell library for mathematical graph parsing and writing.
☆20Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for pangraph
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- An experiment in functional interface design☆23Updated 8 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 3 weeks ago
- rewrite rules for type-level equalities☆62Updated 6 months ago
- An attoparsec roundtrip☆17Updated 4 years ago
- There are many category theory implementations, but this one is mine☆14Updated 2 months ago
- Order theory☆23Updated last year
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆30Updated 4 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Classes for types where we know all the values☆37Updated 5 months ago
- Safe web routing in haskell☆30Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 10 months ago
- Generate a command line client from a servant API☆29Updated 9 months ago
- Extensible type-safe unions for Haskell☆32Updated 2 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- A Zoo of Haskell Newtype Wrappers☆14Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- ☆8Updated 3 years ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 4 months ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Performance shootout of various trie implementations☆18Updated 5 years ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- ☆35Updated 3 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆32Updated 2 years ago
- A monadic DSL for simple configuration parsing☆24Updated last year
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago