Discover @kosmikus Open Source projects

Andres Löh (@kosmikus)

kosmikus

Stars
358
Global Rank 74,930 (Top 3 %)
Followers 324
Following 39
Registered about 14 years ago
Most used languages

Haskell
97.4 %

Nix
2.6 %
Location 🇩🇪 Germany
Country Total Rank 4,118
Country Ranking

Haskell
15

Nix
75

lhs2tex

Preprocessor for typesetting Haskell sources with LaTeX

SSGEP

multirec

records-sop

Experimental implementation of generic record subtyping

indexed

Generic programming with indexed families

ghc-compact-holes

GHC patched with the -fcompact-holes flag

cufp-tutorial-2016

Materials for the CUFP 2016 tutorial on Generic and Type-Level Programming using generics-sop

zipper

kaleidoscope-regensburg

toy implementation of Kaleidoscope language developed during Haskell Regensburg meetups

popl21-liquid-haskell-tutorial

safeint

cri

Common Random Interface

servant-regensburg

tilt

hkd-sop

Connecting higher-kinded datatypes and generics-sop

session-types-regensburg

exi

old attempt to rewrite Gentoo's emerge layer in Haskell

template-sop

simplediff-sop

sop-haskellx-2017

optics-regensburg

cufp-gp-tutorial-2015

Introduction to Type-Level and Generic Programming in Haskell

sop-haskellx-bytes-2017

Talk about generics-sop at HaskellX Bytes, Skills Matter, May 2017

Calculator

Haskell calculator sample

typed-template-haskell

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

life-regensburg

Simple Game of Life implementation developed at Regensburg Haskell meeting

type-inference-regensburg

lh-munihac2020

munihac-mastermind

Solution template

generic-programming-munihac-2018

hsrandom123

Counter-based Random Number Generators in Haskell

letters-brick

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

segfault-investigation

gdp-regensburg

roundtrip-regensburg

regensburg-sop

ghc-generics-from-sop

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

munihac-islist

munihac-types

inspection-testing-example