Csongor Kiss (kcsongor)

kcsongor

Geek Repo

Location:London, United Kingdom

Home Page:http://kcsongor.github.io

Github PK Tool:Github PK Tool

Csongor Kiss's repositories

generic-lens

Generically derive traversals, lenses, and prisms.

purescript-safe-printf

Safe printf-like formatting in purescript

Language:PureScriptLicense:BSD-3-ClauseStargazers:36Issues:6Issues:1

symbols

Symbol manipulation

Language:HaskellLicense:BSD-3-ClauseStargazers:35Issues:8Issues:1

typelevel-prelude

Standard module for type-level programming in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:31Issues:8Issues:1

purescript-record-format

Experimental record formatting from type-level format strings

Language:PureScriptLicense:BSD-3-ClauseStargazers:24Issues:3Issues:0
Language:Emacs LispStargazers:4Issues:3Issues:0

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.

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:4Issues:0

haskell-auto-reload-mode

Emacs minor mode to automatically reload interactive haskell sessions

Language:Emacs LispStargazers:2Issues:3Issues:0
Language:Vim ScriptStargazers:1Issues:6Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:1Issues:5Issues:0
Language:JavaScriptLicense:MITStargazers:1Issues:3Issues:1
Language:AgdaLicense:MITStargazers:0Issues:2Issues:0

flint

The Flint Programming Language for Smart Contracts

Language:SwiftLicense:MITStargazers:0Issues:3Issues:0

granule

A statically typed linear functional language with graded modal types for fine-grained program reasoning

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

higgledy

Higher-kinded data via generics

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

icfp2019-papers

ICFP 2019 preprints/papers

Stargazers:0Issues:2Issues:0

jijo

Bidirectional JSON serialization

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:2Issues:0

openapi3

OpenAPI 3.0 data model

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

optics

Optics as an abstract interface

Language:HaskellStargazers:0Issues:2Issues:0

org-agda-mode

An Emacs mode for working with Agda code in an Org-mode like fashion, more or less.

Language:Emacs LispStargazers:0Issues:2Issues:0

packages-binary

Mirror of packages-binary repository. DO NOT SUBMIT PULL REQUESTS HERE

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

pact

The Pact Smart Contract Language

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

pandoc-theorem

Write LaTeX theorems in Pandoc Markdown

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

rst-cheatsheet

A two-page cheatsheet for restructured text

Language:ShellStargazers:0Issues:2Issues:0

servant-openapi3

OpenAPI 3.0 for Servant

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellLicense:MITStargazers:0Issues:3Issues:0

typelits-printf

Type-safe printf from parsing GHC TypeLits Symbol

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0