claymager / idris2-pkgs
An unofficial Idris2 package repository for Nix
☆46Updated 2 years ago
Alternatives and similar repositories for idris2-pkgs:
Users that are interested in idris2-pkgs are comparing it to the libraries listed below
- The PureScript Package Manager in Nix☆57Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Declarative feedback loop manager☆63Updated 2 months ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Retrying for humans using Haskell.☆45Updated last year
- Javascript DOM bindings for Idris2☆51Updated 9 months ago
- Check cross-references in repository documents☆56Updated last month
- ☆84Updated last month
- Manage your PureScript projects with Nix!☆75Updated last week
- 📺 The power of Haskell in your terminal!☆42Updated 2 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 6 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Improving all Haskell's programmer interfaces☆69Updated last month
- ☆15Updated 2 weeks ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last week
- Convert values from one type into another.☆77Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- A Typeclass for user-facing output☆56Updated last week
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Package manager for Idris☆35Updated 2 years ago
- Algebraic effects in the Bluefin effect system☆15Updated 10 months ago
- Nix support for the Unison programming language☆57Updated this week
- GHC plugin to desugar ! into do-notation☆37Updated last week
- ☆31Updated 3 years ago
- A collection of Haskell's WATs☆92Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆49Updated 3 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Examples for Streamly☆29Updated 3 weeks ago
- ☆21Updated 2 months ago