stefan-hoeck / idris2-ref1Links
Linear mutable References and Utilities
☆13Updated 2 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:
- Idris port of Haskell's sop-core library☆35Updated last month
- ☆21Updated last month
- An Idris port of the Haskell Hedghog library☆34Updated 8 months ago
- Command line interface library in Idris☆31Updated 11 months ago
- Package manager for Idris☆36Updated 2 years ago
- Experimental JS bindings for idris2-rhone☆21Updated last year
- Immutable and mutable (linear) arrays☆9Updated 3 weeks ago
- A core language and API for dependently typed languages☆94Updated 4 months ago
- Asynchronous and concurrent computations in Idris2☆18Updated last month
- Dhall bindings for Idris☆41Updated 6 months ago
- Beginnings of a Postgres client for Idris 2☆18Updated last week
- Utilities and documentation for exploring idirs2's new elaborator reflection.☆82Updated 4 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆17Updated last year
- Lua backend for Idris 2☆28Updated 2 years ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 6 months ago
- Data frames for Idris 2☆22Updated 2 years ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆94Updated 3 weeks ago
- Javascript DOM bindings for Idris2☆52Updated last year
- ☆120Updated 4 months ago
- Extend Cabal build-depends from the command line☆57Updated last week
- ☆26Updated last year
- libcurl bindings for idris2☆14Updated 4 years ago
- ☆26Updated this week
- ☆19Updated last month
- Experimental effects library for Idris 2☆42Updated 3 years ago
- A Python backed for Idris 2☆25Updated 7 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated 2 years ago
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- typed finite-state machine☆18Updated 7 months ago
- Effects libraries in Haskell☆71Updated last year