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
- Manage your PureScript projects with Nix!☆75Updated 2 weeks ago
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- Javascript DOM bindings for Idris2☆51Updated 9 months ago
- Improving all Haskell's programmer interfaces☆70Updated 2 months ago
- Convert values from one type into another.☆77Updated this week
- 📊 Haskell dependencies build times profiler☆74Updated 2 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆51Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆91Updated 7 months ago
- OpenTelemetry support for the Haskell programming language☆85Updated 2 weeks ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- A Typeclass for user-facing output☆56Updated 3 weeks ago
- Declarative feedback loop manager☆63Updated last week
- Exploring the options for incremental Haskell builds using Nix☆106Updated 2 years ago
- Check cross-references in repository documents☆56Updated last month
- Retrying for humans using Haskell.☆45Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated 4 months ago
- A tool suite to aid Haskell development using `cabal-install`☆85Updated 3 months ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 2 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆81Updated 2 weeks ago
- ☆16Updated this week
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- Nix builds of Haskell Language Server☆47Updated 10 months ago
- Algebraic effects in the Bluefin effect system☆15Updated 10 months ago
- Fast and concise extensible effects☆108Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 2 weeks ago
- A package index for the Haskell ecosystem☆134Updated this week
- Package manager for Idris☆35Updated 2 years ago
- ☆89Updated this week