Pinned Repositories
cl3
Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
cl3-hmatrix-interface
An interface to/from the Cl3 and HMatrix libraries
cl3-linear-interface
An interface to/from the Cl3 and Linear libraries
cl3-posit
Clifford Algebra of 3D Space with Posits as the Real Approximation
data-dword
Stick two binary words together to get a bigger one
gentoo-haskell
official gentoo haskell overlay
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
posit
Haskell implementation of Posit Numbers
rest
A library for rewriting
scientific
Arbitrary-precision floating-point numbers represented using scientific notation
waivio's Repositories
waivio/cl3
Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
waivio/posit
Haskell implementation of Posit Numbers
waivio/cl3-hmatrix-interface
An interface to/from the Cl3 and HMatrix libraries
waivio/cl3-linear-interface
An interface to/from the Cl3 and Linear libraries
waivio/cl3-posit
Clifford Algebra of 3D Space with Posits as the Real Approximation
waivio/data-dword
Stick two binary words together to get a bigger one
waivio/gentoo-haskell
official gentoo haskell overlay
waivio/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
waivio/rest
A library for rewriting
waivio/scientific
Arbitrary-precision floating-point numbers represented using scientific notation
waivio/text-format
A Haskell text formatting library optimized for ease of use and high performance.
waivio/yi
The Haskell-Scriptable Editor