mitchellwrosen / haskell-papersLinks
https://mitchellwrosen.github.io/haskell-papers
☆22Updated 6 years ago
Alternatives and similar repositories for haskell-papers
Users that are interested in haskell-papers are comparing it to the libraries listed below
Sorting:
- Ties the knot on data structures that reference each other by unique keys☆47Updated 11 months ago
- An efficient graph library for Haskell☆39Updated last month
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 5 months ago
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- UI experiments for coda☆66Updated 3 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- Signature inference for Functional Property Discovery in Haskell☆38Updated 7 years ago
- Reification of data structures using observable sharing☆29Updated 8 months ago
- Simple reflection of expressions☆33Updated 4 years ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 weeks ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 4 years ago
- Spawn threads that never die (unless told to do so)☆37Updated 7 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆34Updated 5 months ago
- A monad for managed values☆51Updated 2 years ago
- checkers for algebra driven design☆34Updated 2 years ago
- ☆40Updated 7 years ago
- Connecting Haskell projects, mentors, and learners!☆17Updated 7 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Haskell time library focusing on performance☆57Updated 7 months ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Efficient parser combinators for Haskell☆39Updated last month
- Combine and enhance Functors☆39Updated last month
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆56Updated last month
- Game in Haskell☆14Updated last year