waivio

I am an engineer with interest in Haskell and Clifford Algebra.

Tuscon Area

Pinned Repositories

cl3
Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
Language:Haskell574
posit
Haskell implementation of Posit Numbers
Language:Haskell62
cl3-hmatrix-interface
An interface to/from the Cl3 and HMatrix libraries
Language:Haskell10
cl3-linear-interface
An interface to/from the Cl3 and Linear libraries
Language:Haskell10
cl3-posit
Clifford Algebra of 3D Space with Posits as the Real Approximation
Language:Haskell00
data-dword
Stick two binary words together to get a bigger one
Language:Haskell00
gentoo-haskell
official gentoo haskell overlay
Language:Shell00
liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
Language:Haskell00
rest
A library for rewriting
Language:Haskell00
scientific
Arbitrary-precision floating-point numbers represented using scientific notation
Language:Haskell00

waivio's Repositories

waivio/cl3
Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
Language:Haskell57 4 04
waivio/posit
Haskell implementation of Posit Numbers
Language:Haskell52
waivio/cl3-hmatrix-interface
An interface to/from the Cl3 and HMatrix libraries
Language:Haskell1
waivio/cl3-linear-interface
An interface to/from the Cl3 and Linear libraries
Language:Haskell1
waivio/cl3-posit
Clifford Algebra of 3D Space with Posits as the Real Approximation
Language:Haskell
waivio/data-dword
Stick two binary words together to get a bigger one
waivio/gentoo-haskell
official gentoo haskell overlay
Language:Shell
waivio/liquid-fixpoint
Horn Clause Constraint Solving for Liquid Types
waivio/rest
A library for rewriting
Language:Haskell
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.
Language:Haskell2
waivio/yi
The Haskell-Scriptable Editor
Language:Haskell