linear-base
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
Standard library for linear types in Haskell.
336 stars
34 watching
37 forks
Language: Haskell
last commit: 12 months ago haskelllinear-types
Related projects:
| Repository | Description | Stars |
|---|---|---|
 bodigrim/linear-builder | Provides efficient and scalable builder functionality for working with text data in Haskell. | 88 |
| tweag/haskellr | An environment for efficient data processing using Haskell or R code. | 587 |
 ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 203 |
| tweag/ormolu | A tool that formats Haskell source code to a consistent style | 971 |
 ziglibs/zlm | A linear math library for the Zig programming language | 177 |
 jhumphry/lalg | An Ada interface to BLAS for linear algebra operations on dense matrices and vectors | 4 |
 fjvallarino/monomer | A cross-platform GUI library for writing native Haskell applications | 598 |
 bolt12/laop | A Haskell-based library for algebraic construction and manipulation of matrices | 83 |
 dorchard/type-level-sets | A Haskell library providing data structures and operations for working with sets and maps at the type level | 66 |
| tweag/inline-java | A tool that allows Haskell programs to call Java functions directly without writing foreign function interface code | 230 |
 commercialhaskell/rio | A standard library for Haskell to provide a common foundation for production software development | 846 |
 typelevel/simulacrum | A library that simplifies the use of type classes in Scala | 935 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 haskell/statistics | A fast and efficient library for computing statistical data in Haskell | 301 |
 tibbe/haskell-style-guide | A collection of conventions for writing consistent code in a specific programming language. | 956 |