chessai's Projects
The Plutus application platform
a nix flake for plutus projects
pointed and copointed data
pokemon type that maintains the invariant of type uniqueness per pokemon
GHC Haskell command-line ping utility
haskell posix bindings
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
prim typeclass default methods for products
This package provides various primitive memory-related operations.
Atomic operations on PrimArray and ByteArray
Arrays of Maybes
Parallel Mergesort in Haskell
Enterprise VPN server
probabilistic functional programming
A sensible starting Prelude template.
proxy 'helpers'
reverse dependency build matrix generator
Pokedex via SMS and MMS
A python implementation of Counterfactual Regret Minimization for poker
Instances for QuickCheck classes
probability monad for both quantum and classical settings
simple and general quantity semaphores in ghc haskell
Data types and type classes for universally and existentially quantified types
Quickcheck Properties for common typeclasses
Random number library
Semigroups, specialized containers and a general map/reduce framework
Refinement types with static and runtime checking
Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive components in pure functional style, working in harmony with established Haskell techniques and improving the quality and elegance of your applications.