stefan-hoeck / idris2-ref1Links
Linear mutable References and Utilities
☆13Updated last month
Alternatives and similar repositories for idris2-ref1
Users that are interested in idris2-ref1 are comparing it to the libraries listed below
Sorting:
- ☆138Updated 2 weeks ago
- ☆23Updated 7 months ago
- Experimental JS bindings for idris2-rhone☆21Updated 2 years ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆84Updated 4 months ago
- An Idris port of the Haskell Hedghog library☆35Updated last month
- A core language and API for dependently typed languages☆97Updated 10 months ago
- ☆58Updated 2 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆97Updated 3 months ago
- Setting up GHC, cabal, stack on for Haskell-related CIs☆82Updated last week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆54Updated 2 months ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Asynchronous and concurrent computations in Idris2☆22Updated last week
- Data frames for Idris 2☆23Updated 2 years ago
- Reimplementation of Parsley in Haskell, with improvements☆60Updated last month
- Package manager for Idris☆37Updated 3 years ago
- Functional choreographic programming in Haskell☆113Updated 6 months ago
- Extend Cabal build-depends from the command line☆59Updated 5 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- Lightweight and composable servers for Haskell☆67Updated 2 years ago
- Javascript DOM bindings for Idris2☆53Updated 2 months ago
- ☆136Updated last week
- Dhall bindings for Idris☆41Updated 4 months ago
- Command line interface library in Idris☆32Updated last year
- Effects libraries in Haskell☆71Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years ago
- Language Server for Agda☆121Updated 2 months ago
- Haskell Functional Reactive Programming framework with type-level clocks☆138Updated last week
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Idris port of Haskell's sop-core library☆37Updated 4 months ago