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/generic-lens
Generically derive traversals, lenses, and prisms.
kcsongor/purescript-safe-printf
Safe printf-like formatting in purescript
kcsongor/symbols
Symbol manipulation
kcsongor/typelevel-prelude
Standard module for type-level programming in Haskell
kcsongor/purescript-record-format
Experimental record formatting from type-level format strings
kcsongor/doom-config
kcsongor/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.
kcsongor/haskell-auto-reload-mode
Emacs minor mode to automatically reload interactive haskell sessions
kcsongor/dotfiles
kcsongor/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
kcsongor/kcsongor.github.io
My blog
kcsongor/cubical
kcsongor/flint
The Flint Programming Language for Smart Contracts
kcsongor/granule
A statically typed linear functional language with graded modal types for fine-grained program reasoning
kcsongor/hie-bios
kcsongor/higgledy
Higher-kinded data via generics
kcsongor/icfp2019-papers
ICFP 2019 preprints/papers
kcsongor/jijo
Bidirectional JSON serialization
kcsongor/nixpkgs
Nix Packages collection
kcsongor/openapi3
OpenAPI 3.0 data model
kcsongor/optics
Optics as an abstract interface
kcsongor/org-agda-mode
An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
kcsongor/packages-binary
Mirror of packages-binary repository. DO NOT SUBMIT PULL REQUESTS HERE
kcsongor/pact
The Pact Smart Contract Language
kcsongor/pandoc-theorem
Write LaTeX theorems in Pandoc Markdown
kcsongor/rst-cheatsheet
A two-page cheatsheet for restructured text
kcsongor/servant-openapi3
OpenAPI 3.0 for Servant
kcsongor/stackage
"Stable Hackage": vetted consistent packages from Hackage
kcsongor/typelits-printf
Type-safe printf from parsing GHC TypeLits Symbol
kcsongor/web