Csongor Kiss's repositories
generic-lens
Generically derive traversals, lenses, and prisms.
purescript-safe-printf
Safe printf-like formatting in purescript
typelevel-prelude
Standard module for type-level programming in Haskell
purescript-record-format
Experimental record formatting from type-level format strings
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's GitLab instance (https://gitlab.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
haskell-auto-reload-mode
Emacs minor mode to automatically reload interactive haskell sessions
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
kcsongor.github.io
My blog
higgledy
Higher-kinded data via generics
icfp2019-papers
ICFP 2019 preprints/papers
org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
packages-binary
Mirror of packages-binary repository. DO NOT SUBMIT PULL REQUESTS HERE
pandoc-theorem
Write LaTeX theorems in Pandoc Markdown
rst-cheatsheet
A two-page cheatsheet for restructured text
servant-openapi3
OpenAPI 3.0 for Servant
typelits-printf
Type-safe printf from parsing GHC TypeLits Symbol