ekmett / rust-lensLinks
this is not a working lens library
☆11Updated 3 years ago
Alternatives and similar repositories for rust-lens
Users that are interested in rust-lens are comparing it to the libraries listed below
Sorting:
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 4 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- Keep your laziness in check!☆35Updated last month
- An efficient finite map from (byte)strings to values.☆20Updated 8 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 7 years ago
- ☆45Updated 4 years ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆69Updated this week
- implementation deriving for idris2☆12Updated 4 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- ⚖️ Trial Data Type☆21Updated 7 months ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated last week
- Extensible records for Idris☆25Updated 4 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 3 weeks ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Uniform interface to reified data type information via Template Haskell☆20Updated 3 weeks ago
- ☆15Updated 4 years ago
- Playing with Haskell effect systems☆13Updated 6 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Mock framework for testing in Haskell☆24Updated last year
- ☆20Updated 6 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆19Updated last month
- Simple comparative benchmarks for CSV parsing libraries☆17Updated 7 years ago
- Add early return to any do-expression☆47Updated 4 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Updated 5 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 5 years ago
- ghci having DAP interface.☆22Updated 3 months ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Updated 5 years ago
- Map lazy functional language constructs to LLVM IR☆52Updated 6 years ago