Shimuuar / fixed-vectorLinks
Fixed length vector for haskell
☆21Updated 4 months ago
Alternatives and similar repositories for fixed-vector
Users that are interested in fixed-vector are comparing it to the libraries listed below
Sorting:
- A faster date and time library based on time☆47Updated 3 months ago
- Deep evaluation of data structures☆43Updated 5 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- The Str signature and implementations☆21Updated 8 years ago
- ☆18Updated 3 years ago
- Various type-aligned sequence data structures.☆21Updated 4 years ago
- Dependently typed elimination functions using singletons☆28Updated 10 months ago
- A package exposing a function for generating catamorphisms.☆28Updated 7 years ago
- ☆39Updated 8 years ago
- Reification of data structures using observable sharing☆29Updated last year
- Extensible type-safe unions for Haskell☆34Updated 8 months ago
- ghc --make reimplemented with Shake☆32Updated 2 years ago
- First class composable record labels for Haskell.☆68Updated 3 weeks ago
- Some useful control operators for looping☆47Updated 5 years ago
- Asymptotically optimal Brodal/Okasaki heaps☆33Updated 11 months ago
- Easy bidirectional serialization in Haskell☆49Updated 6 years ago
- Compile git revision info into Haskell projects☆49Updated last year
- Exploring how to make a strict imperative universe in the GHC runtime system.☆49Updated 11 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 3 years ago
- haskell memory☆48Updated 2 years ago
- ☆17Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Updated 7 months ago
- Dump GHC's abstract syntax trees☆41Updated 3 years ago
- An experimental intermediate language for GHC☆36Updated 8 years ago
- A GHC type checker plugin for row types☆39Updated 8 years ago
- Bidirectional mapping between two key types☆21Updated last year
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated 2 weeks ago
- fast utf-8 character sets☆14Updated 8 months ago