DAHeath / optic-graphLinks
Haskell graph library
☆10Updated 8 years ago
Alternatives and similar repositories for optic-graph
Users that are interested in optic-graph are comparing it to the libraries listed below
Sorting:
- An embedded DSL for creating, composing, and using probability measures.☆42Updated 6 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Updated 4 years ago
- Painless general-purpose sampling.☆24Updated last year
- Many-dimensional type-safe numeric ops☆46Updated 4 years ago
- DIY Markov Chains.☆25Updated last year
- Sort any Traversable container☆42Updated 3 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆67Updated 3 months ago
- Verified left pad☆19Updated 7 years ago
- A Zoo of Haskell Newtype Wrappers☆15Updated 5 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆43Updated 2 years ago
- Agda-style equational reasoning in Haskell☆54Updated 3 weeks ago
- being the scrapings of my stackoverflow answers☆48Updated 6 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Profunctor optics for the endofunctor category on Hask☆27Updated 5 years ago
- Some tools for provability logic☆37Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Updated 3 weeks ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 8 years ago
- Financial datetimes and holiday recurrence rules☆18Updated 5 years ago
- making data science easy and safe with data frames in haskell☆28Updated 8 years ago
- do-notation for Category and "Arrow without arr"☆63Updated 8 years ago
- Get all your structure and rip it apart.☆32Updated 7 years ago
- Some useful control operators for looping☆47Updated 5 years ago
- Library of categories, with categorical constructions on them☆59Updated 2 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- ☆19Updated 6 years ago
- Haskell typechecker☆39Updated 6 years ago
- Compositional type checking for Haskell☆38Updated 14 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated 5 months ago