chessai / patience
Patience diff and longest increasing subsequence
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for patience
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 4 months ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- Funny little Haskell impl☆18Updated 4 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Updated 3 years ago
- Clean up the formatting of 'show' output☆22Updated 3 months ago
- ☆16Updated 2 years ago
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- Haskell bindings to Rust's regex library☆18Updated 5 months ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Dependent hash maps☆14Updated 5 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- concurrent mutable ring buffers with atomic updates in GHC Haskell☆11Updated 3 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- A toy Parser+Compiler+Typechecker☆12Updated last year
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Existential type.☆36Updated 6 months ago
- GHC plugin for hlint☆11Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆16Updated last month
- ☆19Updated 2 months ago
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆12Updated 3 months ago
- Vector builder☆15Updated 11 months ago
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Declare that a typeclass instance should not exist.☆12Updated 6 months ago
- ☆17Updated 6 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Boring and Absurd types☆17Updated 6 months ago
- High-performance JSON parser☆24Updated 6 months ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago