Andres Löh (kosmikus)

kosmikus

Geek Repo

Company:Well-Typed LLP

Location:Regensburg

Home Page:https://kosmikus.org

Twitter:@kosmikus

Github PK Tool:Github PK Tool


Organizations
NixOS
well-typed

Andres Löh's repositories

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

Language:HaskellLicense:NOASSERTIONStargazers:98Issues:8Issues:83
Language:HaskellLicense:NOASSERTIONStargazers:20Issues:7Issues:4

records-sop

Experimental implementation of generic record subtyping

Language:HaskellLicense:BSD-3-ClauseStargazers:18Issues:8Issues:5

hkd-sop

Connecting higher-kinded datatypes and generics-sop

Language:HaskellStargazers:4Issues:4Issues:0
Language:HaskellStargazers:4Issues:6Issues:0
Language:HaskellStargazers:2Issues:6Issues:0

life-regensburg

Simple Game of Life implementation developed at Regensburg Haskell meeting

Language:HaskellStargazers:2Issues:6Issues:0

typed-template-haskell

GHC Plugin that allows using normal splices and quotes for Typed Template Haskell

Language:HaskellStargazers:2Issues:4Issues:0
Language:HaskellStargazers:1Issues:4Issues:0

ghc-generics-from-sop

Proof-of-concept "GGP" code for deriving GHC.Generics instances from generics-sop instances

Language:HaskellStargazers:1Issues:4Issues:0

letters-brick

A reimagination of the classic "letters" game in Haskell using the brick library

Language:HaskellStargazers:1Issues:3Issues:0

beam

A type-safe, non-TH Haskell SQL library and ORM

Language:HaskellStargazers:0Issues:2Issues:0

chalmers-sop

Guest lecture at Chalmers University 2021-03

Language:HaskellStargazers:0Issues:3Issues:0

coc.nvim

Intellisense engine for Vim8 & Neovim, full language server protocol support as VSCode

Language:TypeScriptLicense:MITStargazers:0Issues:2Issues:0

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

Stargazers:0Issues:0Issues:0

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.

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

ghcide

A library for building Haskell IDE tooling

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

haskellfoundation.github.io

The Haskell Foundation github pages site

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

hlint

Haskell source code suggestions

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

liquidhaskell

Liquid Types For Haskell

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

openapi3

OpenAPI 3.0 data model

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

polytable

The LaTeX polytable package

Language:TeXStargazers:0Issues:3Issues:1

purescript-react-basic

An opinionated set of bindings to the React library, optimizing for the most basic use cases

Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:2Issues:0

rere

recursive regular expressions

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

servant-swagger-ui

Provide embedded swagger UI for servant and swagger

Language:JavaScriptStargazers:0Issues:2Issues:0

www.haskell.org

www.haskell.org site source

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

xlsx

Simple and incomplete Excel file parser/writer

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