derekmcloughlin / pearlsView external linksLinks
Pearls of Functional Algorithm Design by Richard Bird - Haskell Code
☆191Apr 1, 2016Updated 9 years ago
Alternatives and similar repositories for pearls
Users that are interested in pearls are comparing it to the libraries listed below
Sorting:
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- hpack-convert: Convert Cabal manifests into hpack's package.yamls☆51Mar 30, 2020Updated 5 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 8 years ago
- ☆18Jul 24, 2025Updated 6 months ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- The missing tutorial module for the lens library☆83May 11, 2024Updated last year
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- A small implementation of type inference☆80May 19, 2015Updated 10 years ago
- tiny webservice to get a link preview from a url☆15Jul 28, 2015Updated 10 years ago
- Haskell NLP Work☆17Oct 13, 2025Updated 4 months ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Haskell bindings to Apache Arrow☆12Aug 21, 2018Updated 7 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 6 years ago
- Template repo for theorem proving in Liquid Haskell☆32Sep 19, 2018Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Aug 4, 2019Updated 6 years ago
- Experimenting with various development/deployment tools for a Haskell app.☆18Mar 31, 2019Updated 6 years ago
- a logic-based trust-management system☆19Sep 17, 2012Updated 13 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Feb 15, 2019Updated 7 years ago
- ☆11Oct 20, 2017Updated 8 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 2 months ago
- Type theory in type theory☆16Feb 26, 2012Updated 13 years ago
- Slides + TodoApp for Chicago Haskell Servant Presentation☆48Oct 23, 2015Updated 10 years ago
- ☆12Oct 1, 2014Updated 11 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- haskell ghc-illustrated☆262Feb 13, 2021Updated 5 years ago
- Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"☆358May 30, 2025Updated 8 months ago
- QuickFIX bindings for Haskell☆26Oct 2, 2025Updated 4 months ago
- error notification to rollbar.com☆28Dec 17, 2025Updated 2 months ago
- Haskell implementations of various ML algorithms.☆60May 29, 2014Updated 11 years ago
- A bare-bones LCF-style proof assistant☆25Aug 13, 2019Updated 6 years ago
- Incubator for my Haskell libraries☆20Feb 10, 2018Updated 8 years ago
- Hash Array Mapped Tries for Racket☆21Jan 30, 2017Updated 9 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago