Pinned Repositories
servant
Servat is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!
ghc-compact-holes
GHC patched with the -fcompact-holes flag
indexed
Generic programming with indexed families
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
multirec
records-sop
Experimental implementation of generic record subtyping
SSGEP
generics-sop
Generic Programming using True Sums of Products
optics
Optics as an abstract interface
kosmikus's Repositories
kosmikus/indexed
Generic programming with indexed families
kosmikus/kaleidoscope-regensburg
toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups
kosmikus/cri
Common Random Interface
kosmikus/exi
old attempt to rewrite Gentoo's emerge layer in Haskell
kosmikus/servant-regensburg
kosmikus/tilt
kosmikus/cufp-gp-tutorial-2015
Introduction to Type-Level and Generic Programming in Haskell
kosmikus/Calculator
Haskell calculator sample
kosmikus/hsrandom123
Counter-based Random Number Generators in Haskell
kosmikus/accelerate-cuda
Accelerate backend for NVIDIA GPUs
kosmikus/generic-deriving
kosmikus/haskell-sprng
Haskell binding to the SPRNG library
kosmikus/lfg
A lagged fibonacci generator in Haskell
kosmikus/nixos
NixOS, a Linux distribution based on the Nix package manager
kosmikus/nixpkgs
Nix Packages collection
kosmikus/regensburg-sop
kosmikus/configifier
parser for config files, shell variables, command line args.
kosmikus/hakyll
A static website compiler library in Haskell
kosmikus/haskell-mpi
MPI bindings for Haskell
kosmikus/LambdaWars
RoboWars in Haskell for the London Haskell User group.
kosmikus/parconc-examples
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
kosmikus/safe-bugtest
Demonstrate a possible bug in SafeHaskell abstraction boundaries