Pinned Repositories
aws
Amazon Web Services for Haskell
blaze-textual
A fast Haskell library for rendering common Haskell datatypes in text form.
bytestring-conversion
Type-classes to convert values to and from ByteString.
cabal-dependency-licenses
Compose a list of a project's transitive dependencies with their licenses
cardanodocs.com
Cardano Settlement Layer Documentation
commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
ice
ice -- the Ibp ChoosEr Given a number of integration-by-parts identities, this program will filter a maximal linearly independent subset.
liquidhaskell-tutorial
Some examples using Liquid Haskell
proof-systems
The proof systems used by Mina
kantp's Repositories
kantp/liquidhaskell-tutorial
Some examples using Liquid Haskell
kantp/ice
ice -- the Ibp ChoosEr Given a number of integration-by-parts identities, this program will filter a maximal linearly independent subset.
kantp/proof-systems
The proof systems used by Mina
kantp/aws
Amazon Web Services for Haskell
kantp/blaze-textual
A fast Haskell library for rendering common Haskell datatypes in text form.
kantp/bytestring-conversion
Type-classes to convert values to and from ByteString.
kantp/cabal-dependency-licenses
Compose a list of a project's transitive dependencies with their licenses
kantp/cardanodocs.com
Cardano Settlement Layer Documentation
kantp/commercialhaskell
A special interest group for companies and individuals interested in commercial usage of Haskell
kantp/double-conversion
A fast Haskell library for converting between double precision floating point numbers and text strings. It is implemented as a binding to the V8-derived C++ double-conversion library.
kantp/go-bittrex
Go binding for the Bittrex crypto-currency exchange API.
kantp/hal2016-website
Webseite for Haskell in Leipzig 2016
kantp/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
kantp/HaskellR
The full power of R in Haskell.
kantp/Haxl
A Haskell library for efficient, concurrent, concise data access.
kantp/Kalman
Extended Kalman filtering in Haskell
kantp/libzmq
ØMQ libzmq core library -- development trunk
kantp/linear
Low-dimensional linear algebra primitives for Haskell.
kantp/lru-bounded-map
Haskell implementations of associative containers (maps / dictionaries) which retire elements in least recently used (LRU) order when growing past a specified limit
kantp/mina-token
Reference implementation for a fungible token standard on Mina
kantp/network-api-support
Toolkit for building http client libraries over Network HTTP Conduit
kantp/network-transport
Generic Network.Transport API
kantp/o1labs-rfcs
RFCs for everything O(1) Labs
kantp/psqueues
kantp/QuasiText
Interpolated Text strings in Haskell.
kantp/servant
Main repository for the servant libraries. Web API combinators, with servers, clients and documentation
kantp/servant-elm
Automatically derive Elm functions to query servant webservices
kantp/snaplet-persistent
Snaplet for using Persistent in snap applications
kantp/stack
The Haskell Tool Stack
kantp/win32
Haskell support for the Win32 API