Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by CarstenKoenig
A curated list of projects in awesome lists by CarstenKoenig .
https://github.com/carstenkoenig/eventsourcing
EventSourcing library with support for applicative projection definitions
Last synced: 14 Oct 2024
https://github.com/carstenkoenig/elmothello
the well known Othello game using Elm
Last synced: 14 Oct 2024
https://github.com/carstenkoenig/purescript-fitch-prover
fun little tool for Fitch-style proofs inspired by a Stanford logic course on Coursera
fitch-proofs halogen purescript
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/gadtparser
parsing GADT-style expression trees
doctest generalized-algebraic-data-type haskell megaparsec parsing
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/grauhundreisen
Beispiel vom Devopenspace - mein Vorschlag in funktional
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/spartakiade2017
Materialien zu meinen Haskell und Elm Workshops auf der Spartakiade 2017
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/remmidemmi
F# und RemmiDemmi - Folien und Demos
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/sudoku-ps
Sudoku game using purescript/halogen/bulma
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/haskell_okt2017_leipzig
Kursmaterial für meinen Workshop - Oktober 2017 in Leipzig
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dos2015
Haskell Workshop Übungsmaterial für den DOS2015
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dockerdemo
Demonstrates using Docker-Compose with Nginx, PostgreSQL and a simple Todo Web-App written in Haskell and Elm
docker docker-compose elm haskell nginx todoapp
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/frest
basic demonstration of how to use F# with WebAPI and RestSharp to write simple REST-Services
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dos2016_idrisworkshop
Materialien und Infos für meinen Workshop auf dem Developer Open Space 2016 in Leipzig
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/fractaldrawingturtle
having some fun with L-System fractals
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/gregor_lernt_purescript
purescript snake-game workshop-materials
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/haskellspartakiade2018
Materialien für meinen Haskell Workshop auf der Spartakiade 2018
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/holidays2013
looking at 2weeks free time over the holidays this is where I hope to put some of my "reaserch" and toy samples
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/ddf_2020_fsharpworkshop
Teilnehmer-Materialien zum Workshop "C# -> F#" auf dem .net Day Franken 2020
2020 dotnetdayfranken workshop
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dictionaryreplacerkata
Dojo: DictionaryReplacer - in F#
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/elmgameoflife
the famous GameOfLife in Elm
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/spikeeventsourcefree
some experimentation on using a free monad DSL for event sourcing
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/haskellzipspike
temporärer Spike um Zip/Yaml/Conduit zu testen
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/tetris-rust
very simple tetris clone in rust/piston
game piston-game-engine rust-lang tetris-clone
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/youvote
DEMO showing how you can get a Haskell servant backend talking with a Elm client
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/orderedjobkatahaskell
the ordered jobs kata in Haskell
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/tetrisps
Tetris in Purescript using a Canvas
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/sokohaskell
yet another Sokoban clone with Haskell/Gtk/Cairo and the great images from LostGarden
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/homepage
my homepage written using Haskell and Servant
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/hsblockchaindemo
naive block-chain from (almost) zero
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/haskelltest
Test-Projekt um Installation zu testen und gängige Libraries zu installieren
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dos_2024_fsharp
Material F# Workshop für den DeveloperOpenSpace 2023/24
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/spartakiade2021
Materialien zum F# Workshop auf der Spartakiade 2021
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/spartakiade-2021-haskell
Materialien zum Workshop
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/notsofast
give some feedback to your trainer
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/nimmfsharp
F# Demo-Projekt - Union-Types und Computational-Expressions
demo free-monads fsharp games union-types
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/partie
play simple games with Haskell and Purescript
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/mdd_2017
Vortrag Magdeburger Developer Days 2017 - funktionales C# praktisch demonstriert
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/lambdachat
a simple chat-demo app using Haskell / Elm and possibly Purescript soon
chat-application elm haskell servant websocket-chat
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dos2022-adenvtofhaskell
Materialien zum Workshop "Advent of Code mit Haskell" zum DOS 2022
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/fsharpadvent
my contribution to the F# advents calendar
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/coinkatahspec
coin change kata using hspec (first steps using hspec)
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/countdown
A little version of the countdown-game using Haskell/Scotty
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/coinkata
CoinKata mit verschiedenen Techniken
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/satsolver
simple solver for expressions in the propositional logic
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/kaesekaestchen
a simple two player game you can play online
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/twitterwaterflow
famous Twitter Waterflow problem in Haskell
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dwx2021
Slides und Demos zu meinem Vortrag auf der DWX 2021
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dwx2017
Materialien und Slides zu meinen Elm-Talk
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/minesweeper-ps
Minesweeper clone in Purescript using Halogen-Hooks
demo-app halogen halogen-hooks purescript
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/hackerearth
funny little HackerEarth puzzles
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/ddctalk2013_funprogincsharp
Demo projekt to my DDC Talk 2013 - Funktionale Programmierung mit C#
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/friday-quiz-ps
quiz demo app in purescript
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/emergence
build up complex folds/projects from basic building blocks
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/snakegloss
a simple snake game in Haskell using the Gloss library - my first try to get Gloss working - be gentle :D
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/elmspartakiade2018
Elm Workshop Spartakiade 2018
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/stack-templates
my Haskell Stack Templates
haskell haskell-stack haskell-starter-files templates
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dwx2016
Materialien zu meinen Talks auf der DWX2016
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/linpro_simplex
my take on the first assignment for the "linear and integer programming" course on coursera
Last synced: 29 Nov 2024
https://github.com/carstenkoenig/dwx2014
Slides, Projekte, usw. meiner beiden Vorträger der DWX2014
Last synced: 29 Nov 2024