typedbyte

University of Applied Sciences Wiener NeustadtWiener Neustadt, Austria

Pinned Repositories

apecs-effectful
An adaptation of the Haskell library apecs for the effectful ecosystem.
Language:Haskell5 2 11
Chess.NET
A chess game with a clean architecture and design, written in C#/WPF.
Language:C#86 3 230
chessica
A library for chess game logic, written in Haskell.
Language:Haskell2 2 00
effet
An effect system based on type classes, written in Haskell.
Language:Haskell44 3 20
finito
A constraint solver for finite domains, written in Haskell.
Language:Haskell10 2 01
hagato
Haskell Gamedev Toolkit, a library for developing games from scratch.
Language:Haskell66 4 02
numeric-domains
A library to construct, combine and process numeric domains, written in Haskell.
Language:Haskell0 2 00
program
A library for writing programs with environments and managed resources, written in Haskell.
Language:Haskell3 2 10
resource-effectful
A region-based resource effect for the effectful ecosystem.
Language:Haskell4 2 00
switch
A library for interacting with Nintendo Switch controllers, written in Haskell.
Language:Haskell109 2 16

typedbyte/switch
A library for interacting with Nintendo Switch controllers, written in Haskell.
Language:Haskell109 2 16
typedbyte/Chess.NET
A chess game with a clean architecture and design, written in C#/WPF.
Language:C#86 3 230
typedbyte/hagato
Haskell Gamedev Toolkit, a library for developing games from scratch.
Language:Haskell66 4 02
typedbyte/effet
An effect system based on type classes, written in Haskell.
Language:Haskell44 3 20
typedbyte/finito
A constraint solver for finite domains, written in Haskell.
Language:Haskell10 2 01
typedbyte/apecs-effectful
An adaptation of the Haskell library apecs for the effectful ecosystem.
Language:Haskell5 2 11
typedbyte/resource-effectful
A region-based resource effect for the effectful ecosystem.
Language:Haskell4 2 00
typedbyte/program
A library for writing programs with environments and managed resources, written in Haskell.
Language:Haskell3 2 10
typedbyte/chessica
A library for chess game logic, written in Haskell.
Language:Haskell2 2 00
typedbyte/numeric-domains
A library to construct, combine and process numeric domains, written in Haskell.
Language:Haskell0 2 00
typedbyte/propeller
A propagator library, written in Haskell.
Language:Haskell0 2 00