claymager / idris2-pkgsLinks
An unofficial Idris2 package repository for Nix
☆47Updated 3 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:
- Manage your PureScript projects with Nix!☆78Updated 2 weeks ago
- The PureScript Package Manager in Nix☆59Updated 11 months ago
- Exploring the options for incremental Haskell builds using Nix☆108Updated 3 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆56Updated 3 months ago
- Chapelure is a diagnostic library for Haskell☆46Updated 2 years ago
- Convert values from one type into another.☆77Updated 2 weeks ago
- ☆139Updated last week
- todo and unimplemented, robustly implemented☆36Updated last year
- Check cross-references in repository documents☆57Updated last week
- 📺 The power of Haskell in your terminal!☆44Updated 2 months ago
- A modern step-through debugger for GHC Haskell☆88Updated 2 weeks ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆60Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated this week
- Javascript DOM bindings for Idris2☆53Updated 2 months ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆108Updated last week
- ☆20Updated 3 years ago
- A package index for the Haskell ecosystem☆148Updated this week
- Improving all Haskell's programmer interfaces☆74Updated 3 weeks ago
- Hakyll + Nix starter template☆62Updated last year
- Retrying for humans using Haskell.☆49Updated last year
- ☆76Updated 3 years ago
- PureScript core tools in Nix☆62Updated 2 weeks ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆128Updated this week
- Flake template for Haskell repository☆38Updated last year
- An effect system based on type classes, written in Haskell.☆45Updated 4 years ago
- Automatically generate Haskell bindings from C header files☆64Updated this week
- Example to illustrate how to set up incremental Haskell Nix builds☆29Updated 3 years ago
- ☆87Updated 4 years ago