Carsten König (CarstenKoenig)

CarstenKoenig

Geek Repo

Location:Germany

Home Page:https://leastfixedpoint.net

Github PK Tool:Github PK Tool

Carsten König's repositories

EventSourcing

EventSourcing library with support for applicative projection definitions

Language:F#License:MITStargazers:14Issues:6Issues:1

Grauhundreisen

Beispiel vom Devopenspace - mein Vorschlag in funktional

Language:F#Stargazers:3Issues:2Issues:0

purescript-fitch-prover

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

Language:PureScriptStargazers:3Issues:2Issues:0
Language:HaskellLicense:MITStargazers:2Issues:2Issues:0

FRest

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

Language:F#License:MITStargazers:2Issues:2Issues:1

sudoku-ps

Sudoku game using purescript/halogen/bulma

Language:PureScriptStargazers:2Issues:2Issues:0

purescript-errors

Handy error handling combinators for PureScript

Language:PureScriptLicense:Apache-2.0Stargazers:1Issues:1Issues:0

tetris-rust

very simple tetris clone in rust/piston

Language:RustStargazers:1Issues:2Issues:0
Language:C#Stargazers:0Issues:2Issues:0

DOS2022-AdenvtOfHaskell

Materialien zum Workshop "Advent of Code mit Haskell" zum DOS 2022

Language:HaskellLicense:MITStargazers:0Issues:2Issues:0

DOS_2024_Fsharp

Material F# Workshop für den DeveloperOpenSpace 2023/24

Language:F#License:UnlicenseStargazers:0Issues:0Issues:0

DWX2021

Slides und Demos zu meinem Vortrag auf der DWX 2021

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

ElmTodo

TODO App in Elm

Language:ElmStargazers:0Issues:2Issues:0

HaskellTest

Test-Projekt um Installation zu testen und gängige Libraries zu installieren

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

minesweeper-ps

Minesweeper clone in Purescript using Halogen-Hooks

Language:PureScriptStargazers:0Issues:2Issues:0
Language:JavaScriptLicense:ISCStargazers:0Issues:1Issues:0

package-sets

A curated list of PureScript packages

Language:DhallLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

ps-tictactoe

TicTacToe game in PureScript

Language:PureScriptLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

purescript-b64

Unicode-aware Base64 encoding and decoding

Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

purescript-ffi-utils

A utility library for the purescript foreign function interface

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

purescript-formatters

Formatting and printing for numeric and date/time/interval values

Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

purescript-halogen-bootstrap4

Bootstrap 4 classes for `purescript-halogen`

Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

purescript-halogen-hooks

Reusable stateful logic in Halogen, inspired by React Hooks

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0

purescript-halogen-storybook

A library to assemble examples or develop components separately.

Language:PureScriptLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

purescript-jwt

JSON Web Token (JWT) decoding

Language:PureScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

purescript-mongo

Typesafe Mongo library for Purescript

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0

purescript-spec-discovery

A purescript-spec extension that finds your specs automatically!

Language:PureScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

purescript-undefined-or

A purescript library for more convenient interfacing with foreign code

Language:PureScriptLicense:MITStargazers:0Issues:1Issues:0

registry

The PureScript registry

Language:PureScriptStargazers:0Issues:1Issues:0

Spartakiade-2021-Haskell

Materialien zum Workshop

Language:HaskellStargazers:0Issues:2Issues:0