Discover @CarstenKoenig Open Source projects

Carsten König (@CarstenKoenig)

CarstenKoenig

Stars
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 %

PureScript 7.5 %

JavaScript
7.5 %

Rust
2.5 %

Dhall 2.5 %

Idris 2.5 %

Makefile 2.5 %
Location 🇩🇪 Germany
Country Total Rank 10,726
Country Ranking

Dhall 9

F#
14

Idris 17

PureScript 19

Elm
37

Haskell
117

Makefile 426

Rust
2,753

JavaScript
9,821

EventSourcing

EventSourcing library with support for applicative projection definitions

ElmOthello

the well known Othello game using Elm

FsCheckFizzBuzz

FizzBuzz mit Quickcheck

purescript-fitch-prover

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

Spartakiade2017

Materialien zu meinen Haskell und Elm Workshops auf der Spartakiade 2017

GadtParser

parsing GADT-style expression trees

Grauhundreisen

Beispiel vom Devopenspace - mein Vorschlag in funktional

DDF2019

Session zum .net Day Franken 2019

ElmSweeper

a minesweeper clone in elm

FRest

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

Elm15Puzzle

the 15-puzzle in elm

FractalDrawingTurtle

having some fun with L-System fractals

DOS2016_IdrisWorkshop

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

LichterAus

das "LightsOut" Puzzle in Elm

DOS2022

Haskell_Okt2017_Leipzig

Kursmaterial für meinen Workshop - Oktober 2017 in Leipzig

RemmiDemmi

F# und RemmiDemmi - Folien und Demos

DOS2015

Haskell Workshop Übungsmaterial für den DOS2015

sudoku-ps

Sudoku game using purescript/halogen/bulma

DockerDemo

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

DWX2018

Demos und Materialien zu meinen Beiträgen zur DWX 2018

ElmGameOfLife

the famous GameOfLife in Elm

HomePage

my homepage written using Haskell and Servant

DWX2019_Parser

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

Hangman

Hangman game in various forms

tetris-rust

very simple tetris clone in rust/piston

Gregor_lernt_Purescript

HaskellSpartakiade2018

Materialien für meinen Haskell Workshop auf der Spartakiade 2018

UG_Schweiz

Material für meinen kleinen Workshop in der Schweiz

DOS2018

Material, Katas, Abendveranstalltung für den DeveloperOpenspace 2018 in Leipzig

SpikeEventSourceFree

some experimentation on using a free monad DSL for event sourcing

AstarDemo

A* Algorithm with demo in F#

SokoHaskell

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

DDF_2020_FSharpWorkshop

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

HaskellZipSpike

temporärer Spike um Zip/Yaml/Conduit zu testen

OrderedJobKataHaskell

the ordered jobs kata in Haskell

Spartakiade2015

Materialien zu meinen Workshop der Spartakiade2015

TetrisPS

Tetris in Purescript using a Canvas

DictionaryReplacerKata

Dojo: DictionaryReplacer - in F#

YouVote

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

Holidays2013

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