- London, United Kingdom
- http://kcsongor.github.io
- https://orcid.org/0000-0002-0195-2420
Highlights
- Pro
-
generic-lens Public
Generically derive traversals, lenses, and prisms.
-
purescript-record-format Public
Experimental record formatting from type-level format strings
-
symbols Public
Symbol manipulation
-
-
pact Public
Forked from kadena-io/pactThe Pact Smart Contract Language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 10, 2021 -
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.haskel…
-
-
openapi3 Public
Forked from biocad/openapi3OpenAPI 3.0 data model
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 11, 2021 -
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedDec 5, 2020 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedDec 4, 2020 -
servant-openapi3 Public
Forked from biocad/servant-openapi3OpenAPI 3.0 for Servant
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 23, 2020 -
haskell-auto-reload-mode Public
Emacs minor mode to automatically reload interactive haskell sessions
-
-
org-agda-mode Public
Forked from alhassy/org-agda-modeAn Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp UpdatedMar 26, 2020 -
typelits-printf Public
Forked from mstksg/typelits-printfType-safe printf from parsing GHC TypeLits Symbol
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 26, 2020 -
stackage Public
Forked from commercialhaskell/stackage"Stable Hackage": vetted consistent packages from Hackage
Shell MIT License UpdatedFeb 13, 2020 -
optics Public
Forked from well-typed/opticsOptics as an abstract interface
Haskell UpdatedFeb 10, 2020 -
purescript-safe-printf Public
Safe printf-like formatting in purescript
-
rst-cheatsheet Public
Forked from ralsina/rst-cheatsheetA two-page cheatsheet for restructured text
Shell UpdatedNov 1, 2019 -
hie-bios Public
Forked from haskell/hie-biosHaskell BSD 3-Clause "New" or "Revised" License UpdatedSep 7, 2019 -
granule Public
Forked from granule-project/granuleA statically typed linear functional language with graded modal types for fine-grained program reasoning
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 22, 2019 -
jijo Public
Forked from monadfix/jijoBidirectional JSON serialization
Haskell Other UpdatedAug 12, 2019 -
-
icfp2019-papers Public
Forked from llelf/icfp2019-papersICFP 2019 preprints/papers
UpdatedJul 31, 2019 -
typelevel-prelude Public
Standard module for type-level programming in Haskell
-
pandoc-theorem Public
Forked from sliminality/pandoc-theoremWrite LaTeX theorems in Pandoc Markdown
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 28, 2019 -
-
flint Public
Forked from flintlang/flintThe Flint Programming Language for Smart Contracts
Swift MIT License UpdatedApr 17, 2019 -
higgledy Public
Forked from i-am-tom/higgledyHigher-kinded data via generics
Haskell MIT License UpdatedApr 11, 2019 -
packages-binary Public
Forked from ghc/packages-binaryMirror of packages-binary repository. DO NOT SUBMIT PULL REQUESTS HERE
Haskell Other UpdatedApr 7, 2019