claymager / idris2-pkgsLinks
An unofficial Idris2 package repository for Nix
☆47Updated 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 8 months ago
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated 2 months ago
- Convert values from one type into another.☆77Updated last month
- ☆75Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆133Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Updated last year
- ☆126Updated last week
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆54Updated 5 months ago
- Manage your PureScript projects with Nix!☆77Updated 4 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- A package index for the Haskell ecosystem☆145Updated last week
- Check cross-references in repository documents☆55Updated 5 months ago
- Exploring the options for incremental Haskell builds using Nix☆107Updated 2 years ago
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆59Updated 2 months ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Terminal Emulator written in 100% Haskell☆68Updated 3 years ago
- 📺 The power of Haskell in your terminal!☆44Updated 4 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆124Updated this week
- Automatically generate Haskell bindings from C header files☆56Updated last week
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated last week
- Nix (shell) expression for working on GHC☆146Updated last week
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- Improving all Haskell's programmer interfaces☆73Updated 7 months ago
- Easy Haskell Language Server tooling with Nix!☆55Updated 3 years ago
- ☆20Updated 3 years ago
- Format Haskell package descriptions.☆60Updated 3 weeks ago
- Find your open-soulmate <💜>☆75Updated 3 years ago
- PureScript core tools in Nix☆58Updated 2 months ago