stefan-hoeck / idris2-ref1Links
Linear mutable References and Utilities
☆13Updated 4 months ago
Alternatives and similar repositories for idris2-ref1
Users that are interested in idris2-ref1 are comparing it to the libraries listed below
Sorting:
- ☆125Updated 5 months ago
- An Idris port of the Haskell Hedghog library☆34Updated 9 months ago
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆83Updated 6 months ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- Asynchronous and concurrent computations in Idris2☆19Updated 3 months ago
- A core language and API for dependently typed languages☆97Updated 5 months ago
- ☆118Updated last week
- Fast and concise extensible effects☆109Updated 2 years ago
- ☆22Updated 2 months ago
- LLVM code generation in Haskell☆54Updated 9 months ago
- Package manager for Idris☆37Updated 3 years ago
- libcurl bindings for idris2☆14Updated 4 years ago
- Setting up GHC, cabal, stack on for Haskell-related CIs☆75Updated last week
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆131Updated last year
- Javascript DOM bindings for Idris2☆53Updated last month
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆95Updated 2 months ago
- Lightweight and composable servers for Haskell☆67Updated last year
- Effects libraries in Haskell☆71Updated 2 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- Haskell Functional Reactive Programming framework with type-level clocks☆131Updated last week
- Simple configuration and extra tools for NVIM + LSP + Idris2☆50Updated 3 weeks ago
- Automatically generate Haskell bindings from C header files☆54Updated this week
- Command line interface library in Idris☆31Updated last year
- An Idris 2 build tool and a package manager☆28Updated 2 years ago
- Compositional Representable Executable Machines☆120Updated last month
- An unofficial Idris2 package repository for Nix☆47Updated 2 years ago
- Extend Cabal build-depends from the command line☆58Updated 2 weeks ago
- Functional choreographic programming in Haskell☆101Updated last month
- Dhall bindings for Idris☆41Updated 8 months ago