Pinned Repositories
servant
Main repository for the servant libraries — DSL for describing, serving, querying, mocking, documenting web applications and more!
ghc-compact-holes
GHC patched with the -fcompact-holes flag
indexed
Generic programming with indexed families
lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
multirec
records-sop
Experimental implementation of generic record subtyping
SSGEP
generics-sop
Generic Programming using True Sums of Products
optics
Optics as an abstract interface
kosmikus's Repositories
kosmikus/lhs2tex
Preprocessor for typesetting Haskell sources with LaTeX
kosmikus/multirec
kosmikus/records-sop
Experimental implementation of generic record subtyping
kosmikus/popl21-liquid-haskell-tutorial
kosmikus/hkd-sop
Connecting higher-kinded datatypes and generics-sop
kosmikus/template-sop
kosmikus/lh-munihac2020
kosmikus/life-regensburg
Simple Game of Life implementation developed at Regensburg Haskell meeting
kosmikus/typed-template-haskell
GHC Plugin that allows using normal splices and quotes for Typed Template Haskell
kosmikus/gdp-regensburg
kosmikus/ghc-generics-from-sop
Proof-of-concept "GGP" code for deriving GHC.Generics instances from generics-sop instances
kosmikus/letters-brick
A reimagination of the classic "letters" game in Haskell using the brick library
kosmikus/beam
A type-safe, non-TH Haskell SQL library and ORM
kosmikus/chalmers-sop
Guest lecture at Chalmers University 2021-03
kosmikus/coc.nvim
Intellisense engine for Vim8 & Neovim, full language server protocol support as VSCode
kosmikus/error-message-index
A community-driven collection of documentation for Haskell error messages and warnings
kosmikus/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.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.
kosmikus/ghcide
A library for building Haskell IDE tooling
kosmikus/haskell-language-server
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
kosmikus/haskellfoundation.github.io
The Haskell Foundation github pages site
kosmikus/hlint
Haskell source code suggestions
kosmikus/liquidhaskell
Liquid Types For Haskell
kosmikus/openapi3
OpenAPI 3.0 data model
kosmikus/opodis22-presentation
kosmikus/polytable
The LaTeX polytable package
kosmikus/purescript-react-basic
An opinionated set of bindings to the React library, optimizing for the most basic use cases
kosmikus/rere
recursive regular expressions
kosmikus/servant-swagger-ui
Provide embedded swagger UI for servant and swagger
kosmikus/www.haskell.org
www.haskell.org site source
kosmikus/xlsx
Simple and incomplete Excel file parser/writer