kowainik / trialLinks
⚖️ Trial Data Type
☆21Updated 2 months ago
Alternatives and similar repositories for trial
Users that are interested in trial are comparing it to the libraries listed below
Sorting:
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Keep your laziness in check!☆33Updated this week
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Existential type.☆37Updated 8 months ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated last year
- open union and open product types in Haskell☆32Updated 5 years ago
- A two-dimensional parser combinator library.☆41Updated 8 years ago
- Types for ldtk☆15Updated last year
- Zippers for cofree types☆13Updated 3 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Haskell implementation of the KDL Document Language☆24Updated last week
- A flexible Haskell API for querying the GitHub REST API☆14Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 7 months ago
- rewrite rules for type-level equalities☆62Updated last year
- ICFP tutorial☆39Updated 4 years ago
- ☆40Updated 5 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml☆38Updated 5 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 7 months ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago