tuura / pangraphLinks
A Haskell library for mathematical graph parsing and writing.
☆20Updated 4 years ago
Alternatives and similar repositories for pangraph
Users that are interested in pangraph are comparing it to the libraries listed below
Sorting:
- An experiment in functional interface design☆24Updated 8 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 4 years ago
- DIY Markov Chains.☆25Updated 9 months ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- rewrite rules for type-level equalities☆62Updated last year
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 4 years ago
- heidi : tidy data in Haskell☆29Updated 4 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- Grammatical parsers - combinator library for parsing general context-free grammars☆41Updated this week
- Haskell library for semigroup actions and torsors☆64Updated 6 months ago
- Ghosts of Departed Proofs☆61Updated 4 years ago
- Generic random generators☆81Updated 2 years ago
- Web front UI for interactive Haskell projects☆33Updated 5 years ago
- ☆13Updated 5 years ago
- There are many category theory implementations, but this one is mine☆16Updated last year
- ☆21Updated 3 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Free categories, free arrows and free categories with monadic actions☆24Updated 5 months ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Updated last year
- being the scrapings of my stackoverflow answers☆48Updated 5 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Updated 2 years ago
- Verified left pad☆19Updated 7 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆37Updated last month
- Generate a command line client from a servant API☆28Updated last year
- Simple reflection of expressions☆34Updated 4 years ago