membrain
Memory unit library
Provides type-safe memory units through a Haskell library with minimal boilerplate
🧠Type-safe memory units
62 stars
9 watching
4 forks
Language: Haskell
last commit: about 4 years ago haskelllibrarymeasurememorysafetype-level-programmingunits
Related projects:
| Repository | Description | Stars |
|---|---|---|
| kowainik/relude | A lightweight Haskell standard library designed to balance productivity, safety, and performance. | 708 |
| kowainik/summoner | A tool for creating production-ready Haskell projects with minimal configuration | 703 |
| kowainik/typerep-map | Efficient implementation of Map where types serve as keys | 101 |
 lehins/massiv | A Haskell library for efficient array manipulation with parallel computation capabilities. | 385 |
 mrkkrp/facts | A Haskell library for working with refined types to represent and manipulate data structures | 57 |
| kowainik/learn4haskell | An educational project that teaches Haskell programming concepts in four modules through coding exercises and mentorship. | 1,011 |
 p-p-h-d/mlib | A C library providing generic and type-safe container implementations | 919 |
 mikeizbicki/hlearn | Developing a high-performance machine learning library that balances speed and flexibility in Haskell | 1,623 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
| kowainik/eio | A library that tracks exceptions on the type level in Haskell's IO system | 58 |
 haskell/parsec | A parser combinator library designed to be industrial-strength and easy to use | 850 |
 primlabs/bucket | A library providing a simple storage solution using stable memory, allowing canisters to store data without GC costs and upgradeability. | 31 |
| kowainik/validation-selective | A lightweight validation data type based on Applicative and Selective functors | 66 |
| kowainik/stan | Analyzes Haskell code to identify potential errors and areas for improvement | 572 |
 haskell-hvr/uuid | A Haskell library for working with universally unique identifiers. | 62 |