claymager / idris2-pkgsLinks
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
Sorting:
- The PureScript Package Manager in Nix☆57Updated 5 months ago
- 📺 The power of Haskell in your terminal!☆43Updated last month
- Check cross-references in repository documents☆56Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Manage your PureScript projects with Nix!☆76Updated last month
- Declarative feedback loop manager☆63Updated this week
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated last year
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- ☆19Updated last month
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Convert values from one type into another.☆76Updated last month
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- Algebraic effects in the Bluefin effect system☆18Updated last year
- ☆21Updated last month
- Flake template for Haskell repository☆37Updated 8 months ago
- Format Haskell package descriptions.☆54Updated last month
- ☆25Updated 3 weeks ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 3 months ago
- A tool suite to aid Haskell development using `cabal-install`☆87Updated 3 weeks ago
- Improving all Haskell's programmer interfaces☆74Updated 5 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 3 months ago
- Automatically generate Haskell bindings from C header files☆49Updated this week
- ☆32Updated 3 years ago
- Extend Cabal build-depends from the command line☆57Updated last week
- Library to support efficient compilation of large records (linear in the number of record fields)☆47Updated 3 months ago
- Source material for Certainty by Construction☆43Updated last year
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Hakyll + Nix starter template☆58Updated 8 months ago
- Retrying for humans using Haskell.☆46Updated last year