Carsten König (@CarstenKoenig)
github

CarstenKoenig

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    89
  • Global Rank 225,995 (Top 8 %)
  • Followers 52
  • Following 7
  • Registered over 12 years ago
  • Most used languages
    Haskell
         35.0 %
    F#
         22.5 %
    Elm
         17.5 %
    JavaScript
         7.5 %
    PureScript     7.5 %
    Idris     2.5 %
    Makefile     2.5 %
    Rust
         2.5 %
    Dhall     2.5 %
  • Location 🇩🇪 Germany
  • Country Total Rank 10,726
  • Country Ranking
    Dhall     9
    F#
         14
    Idris     17
    PureScript     19
    Elm
         37
    Haskell
         117
    Makefile     420
    Rust
         2,464
    JavaScript
         9,821

Top repositories

1

EventSourcing

EventSourcing library with support for applicative projection definitions
F#
14
star
2

ElmOthello

the well known Othello game using Elm
Elm
6
star
3

FsCheckFizzBuzz

FizzBuzz mit Quickcheck
F#
5
star
4

purescript-fitch-prover

fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera
PureScript
4
star
5

Spartakiade2017

Materialien zu meinen Haskell und Elm Workshops auf der Spartakiade 2017
Haskell
3
star
6

GadtParser

parsing GADT-style expression trees
Haskell
3
star
7

Grauhundreisen

Beispiel vom Devopenspace - mein Vorschlag in funktional
F#
3
star
8

DDF2019

Session zum .net Day Franken 2019
Makefile
3
star
9

ElmSweeper

a minesweeper clone in elm
Elm
2
star
10

FRest

basic demonstration of how to use F# with WebAPI and RestSharp to write simple REST-Services
F#
2
star
11

Elm15Puzzle

the 15-puzzle in elm
Elm
2
star
12

FractalDrawingTurtle

having some fun with L-System fractals
Elm
2
star
13

DOS2016_IdrisWorkshop

Materialien und Infos für meinen Workshop auf dem Developer Open Space 2016 in Leipzig
Idris
2
star
14

LichterAus

das "LightsOut" Puzzle in Elm
Elm
2
star
15

DOS2022

Haskell
2
star
16

Haskell_Okt2017_Leipzig

Kursmaterial für meinen Workshop - Oktober 2017 in Leipzig
Haskell
2
star
17

RemmiDemmi

F# und RemmiDemmi - Folien und Demos
F#
2
star
18

DOS2015

Haskell Workshop Übungsmaterial für den DOS2015
Haskell
2
star
19

sudoku-ps

Sudoku game using purescript/halogen/bulma
PureScript
2
star
20

DockerDemo

Demonstrates using Docker-Compose with Nginx, PostgreSQL and a simple Todo Web-App written in Haskell and Elm
Elm
2
star
21

DWX2018

Demos und Materialien zu meinen Beiträgen zur DWX 2018
JavaScript
2
star
22

ElmGameOfLife

the famous GameOfLife in Elm
JavaScript
1
star
23

HomePage

my homepage written using Haskell and Servant
Haskell
1
star
24

DWX2019_Parser

Unterlagen zum Vortrag "Funktionale Parser mit F#" auf der DWX 2019
1
star
25

Hangman

Hangman game in various forms
Haskell
1
star
26

tetris-rust

very simple tetris clone in rust/piston
Rust
1
star
27

Gregor_lernt_Purescript

Dhall
1
star
28

HaskellSpartakiade2018

Materialien für meinen Haskell Workshop auf der Spartakiade 2018
Haskell
1
star
29

UG_Schweiz

Material für meinen kleinen Workshop in der Schweiz
F#
1
star
30

DOS2018

Material, Katas, Abendveranstalltung für den DeveloperOpenspace 2018 in Leipzig
Haskell
1
star
31

SpikeEventSourceFree

some experimentation on using a free monad DSL for event sourcing
Haskell
1
star
32

AstarDemo

A* Algorithm with demo in F#
F#
1
star
33

SokoHaskell

yet another Sokoban clone with Haskell/Gtk/Cairo and the great images from LostGarden
Haskell
1
star
34

DDF_2020_FSharpWorkshop

Teilnehmer-Materialien zum Workshop "C# -> F#" auf dem .net Day Franken 2020
F#
1
star
35

HaskellZipSpike

temporärer Spike um Zip/Yaml/Conduit zu testen
Haskell
1
star
36

OrderedJobKataHaskell

the ordered jobs kata in Haskell
Haskell
1
star
37

Spartakiade2015

Materialien zu meinen Workshop der Spartakiade2015
JavaScript
1
star
38

TetrisPS

Tetris in Purescript using a Canvas
PureScript
1
star
39

DictionaryReplacerKata

Dojo: DictionaryReplacer - in F#
F#
1
star
40

YouVote

DEMO showing how you can get a Haskell servant backend talking with a Elm client
Elm
1
star
41

Holidays2013

looking at 2weeks free time over the holidays this is where I hope to put some of my "reaserch" and toy samples
Haskell
1
star