Pinned Repositories
arm-doom
Doom-like engine on Raspberry Pi, in pure bare metal assembly
generic-lens
Generically derive traversals, lenses, and prisms.
invalid-hole-fits
Suggesting substitutions that don't quite fit.
purescript-record-format
Experimental record formatting from type-level format strings
purescript-safe-printf
Safe printf-like formatting in purescript
regex-type
Regular expression matching of Haskell types
register-machine-type
Universal Register Machine implemented at the type-level of Haskell
safe-coerce
A friendly shorthand for an old friend
symbols
Symbol manipulation
typelevel-prelude
Standard module for type-level programming in Haskell
kcsongor's Repositories
kcsongor/arm-doom
Doom-like engine on Raspberry Pi, in pure bare metal assembly
kcsongor/invalid-hole-fits
Suggesting substitutions that don't quite fit.
kcsongor/safe-coerce
A friendly shorthand for an old friend
kcsongor/talks
Talks
kcsongor/lens-backpack
Implementation-agnostic lens interface using backpack.
kcsongor/vim-hs
vim scripts for writing haskell
kcsongor/vim-refactor
kcsongor/vim-tabbar
An alternative tabline for vim
kcsongor/purescript-nats
kcsongor/vim-monochrome
Monochrome color scheme for Vim
kcsongor/checklist
The Haskell performance checklist
kcsongor/constraints-emerge
a GHC plugin to get an instance if it exists
kcsongor/documentation
Documentation for the PureScript language, compiler, and tools.
kcsongor/generic-lens-labels
kcsongor/graal
GraalVM: Run Programs Faster Anywhere :rocket:
kcsongor/haskell-mode
Emacs mode for Haskell
kcsongor/haskell-pair-programming
kcsongor/hs-bags
A library for handling strongly-typed maps in Haskell
kcsongor/indexed
Indexed Functors for GHC 8
kcsongor/inspection-testing
Inspection Testing for Haskell
kcsongor/lens
Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
kcsongor/monad-classes.hs
A more flexible mtl
kcsongor/packages-mtl
Mirror of packages-mtl repository. DO NOT SUBMIT PULL REQUESTS HERE
kcsongor/purescript
A small strongly typed language that compiles to Javascript
kcsongor/purescript-parse-type-lambda
kcsongor/purescript-typelevel-prelude
Types and kinds for basic type-level programming
kcsongor/records-fields-pairwise
a pairwise records operation demo with GHC8 generics and generic-lens
kcsongor/shapeless
Generic programming for Scala
kcsongor/swift
The Swift Programming Language
kcsongor/vim-monochrome-light
light vim colorscheme