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:
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Javascript DOM bindings for Idris2☆52Updated last month
- todo and unimplemented, robustly implemented☆36Updated 11 months ago
- 📺 The power of Haskell in your terminal!☆44Updated 3 months ago
- Check cross-references in repository documents☆55Updated 5 months ago
- The PureScript Package Manager in Nix☆57Updated 7 months ago
- Convert values from one type into another.☆76Updated 2 weeks ago
- ☆122Updated this week
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated 2 years ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Manage your PureScript projects with Nix!☆75Updated 3 months ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Easily build a Haskell project from a stack.yaml.lock file with Nix☆53Updated 5 months ago
- A modern testing framework for Haskell with good defaults and advanced testing features.☆124Updated 3 weeks 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☆58Updated 2 months ago
- Improving all Haskell's programmer interfaces☆73Updated 7 months ago
- Haskell Functional Reactive Programming framework with type-level clocks☆133Updated this week
- haskell source code visualizer☆99Updated 3 months ago
- ☆20Updated 3 years ago
- A package index for the Haskell ecosystem☆144Updated last week
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆96Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Terminal Emulator written in 100% Haskell☆68Updated 3 years ago
- Effects libraries in Haskell☆71Updated 2 years ago
- Automatically generate Haskell bindings from C header files☆55Updated this week
- Format Haskell package descriptions.☆55Updated this week
- ☆75Updated 3 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆103Updated last week