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
- Check cross-references in repository documents☆56Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Improving all Haskell's programmer interfaces☆74Updated 4 months ago
- 📺 The power of Haskell in your terminal!☆42Updated 2 weeks ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated last week
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Manage your PureScript projects with Nix!☆76Updated 3 weeks ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Algebraic effects in the Bluefin effect system☆17Updated last year
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆50Updated 2 months ago
- ☆19Updated last month
- 📊 Haskell dependencies build times profiler☆73Updated 2 years ago
- Convert values from one type into another.☆76Updated 2 weeks ago
- 👅 Parse Haskell Language Extensions☆48Updated last week
- A Typeclass for user-facing output☆56Updated 2 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆121Updated last week
- ☆72Updated 2 years ago
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 2 years ago
- OpenTelemetry support for the Haskell programming language☆86Updated last week
- todo and unimplemented, robustly implemented☆36Updated 8 months ago
- A tool suite to aid Haskell development using `cabal-install`☆86Updated this week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated last month
- Automatically generate Haskell bindings from C header files☆48Updated this week
- Format Haskell package descriptions.☆52Updated 2 weeks ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Javascript DOM bindings for Idris2☆52Updated last year
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Updated 2 years ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 3 years ago