Oleg Grenrus's repositories
acme-kmett
A collection of Edward Kmett's packages in a single repository
reflex-bleeding-edge
reflex with patches for newer versions of dependencies
ad
Automatic Differentiation
agda
Agda is a dependently typed programming language / interactive theorem prover.
chessIO
Fast haskell chess move generator library and console UCI frontend
cm-chessboard
A chessboard rendered in SVG, coded in ES6. Views FEN, handles move input, animated, responsive, mobile friendly.
constraints
Tools for programming with ConstraintKinds in GHC
discrimination
Fast linear time sorting and discrimination for a large class of data types
epsilon
Testing for values "near" zero
eq
Leibnizian type equality
eventlog2html
Visualise eventlog events as a static webpage
ghcjs-base
base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC
HTTP
Haskell HTTP package
profiteur
Visualiser for Haskell (GHC) prof files
quickcheck
Automatic testing of Haskell programs.
roles
An alternative, composable model of RoleAnnotations via type classes
split
Standard Haskell list splitting library.
streams
Haskell 2010 stream comonads
test-framework
Framework for running and organising QuickCheck test properties and HUnit test cases
transformers-base
Haskell library for lifting actions from the bottom of a monad transformer stack
unordered-containers
Efficient hashing-based container types
vector-th-unbox
Deriver for unboxed vectors using Template Haskell
windns
Domain Name Service (DNS) lookup via the Windows dnsapi standard library
xeno
Fast Haskell XML parser