claymager / idris2-pkgs
An unofficial Idris2 package repository for Nix
☆46Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for idris2-pkgs
- Check cross-references in repository documents☆55Updated this week
- Exploring the options for incremental Haskell builds using Nix☆106Updated last year
- The PureScript Package Manager in Nix☆55Updated last week
- 📺 The power of Haskell in your terminal!☆42Updated 3 weeks ago
- ☆73Updated this week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated 3 months ago
- Manage your PureScript projects with Nix!☆71Updated 2 months ago
- todo and unimplemented, robustly implemented☆34Updated 2 months ago
- A simple Nix-Haskell skeleton☆97Updated last week
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Convert values from one type into another.☆75Updated 2 weeks ago
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Nix support for the Unison programming language☆57Updated last month
- 📊 Haskell dependencies build times profiler☆74Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated 6 months ago
- Improving all Haskell's programmer interfaces☆65Updated 5 months ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆49Updated last week
- Javascript DOM bindings for Idris2☆50Updated 5 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆45Updated 2 weeks ago
- OpenTelemetry support for the Haskell programming language☆73Updated this week
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated 2 weeks ago
- Hakyll + Nix starter template☆55Updated 3 weeks ago
- Load a GHCi session for a Haskell project and reload it when source files change☆112Updated 2 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆116Updated this week
- Nix builds of Haskell Language Server☆47Updated 6 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Easy Haskell Language Server tooling with Nix!☆55Updated 2 years ago
- Declarative feedback loop manager☆64Updated last week
- Translate Cabals Generic Package Description to a Nix expression☆96Updated last year
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago