Paul Koerbitz (@paulkoerbitz)
github

paulkoerbitz

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    99
  • Global Rank 208,656 (Top 8 %)
  • Followers 31
  • Following 5
  • Registered almost 15 years ago
  • Most used languages
    Haskell
         44.4 %
    TypeScript
         33.3 %
    Idris     11.1 %
    Clojure
         11.1 %
  • Location 🇩🇪 Germany
  • Country Total Rank 10,021
  • Country Ranking
    Idris     14
    Haskell
         231
    Clojure
         419
    TypeScript
         679

Top repositories

1

typeful-redux

A typesafe, low-boilerplate wrapper around redux
TypeScript
53
star
2

resolve-types

Resolve TypeScript types in inline code. Useful for testing type operators.
TypeScript
23
star
3

tslint-auto-disable

Automatically insert disable comments for failing TSLint rules
TypeScript
11
star
4

idfXt

An Xmonad clone written in Idris
Idris
3
star
5

hsbci

A fast, modular and simple HBCI library for Haskell
Haskell
3
star
6

orderbook

A simple orderbook written in Haskell
Haskell
2
star
7

bivar

Bivariate pricing methods
Haskell
1
star
8

clj-mcmc

A Markov chain Monte Carlo toolkit in Clojure
Clojure
1
star
9

language-slice

Parsing and AST for ZeroC's Slice intermediate definition language (ice)
Haskell
1
star