Pinned Repositories
countdown-generator
Looking forward to something? Make a countdown for it!
gameoflife
Game of Life. PureScript. Ugly Halogen UI.
geoquiz
Try to locate random countries on a world map!
kniffelig
A variant of the dice game Yahtzee
pp2js
ProbenProphet 2.0
todobackend-endpoints4s
Example REST API with endpoints4s, http4s and doobie
stefanholzmueller's Repositories
stefanholzmueller/countdown-generator
Looking forward to something? Make a countdown for it!
stefanholzmueller/geoquiz
Try to locate random countries on a world map!
stefanholzmueller/pp2js
ProbenProphet 2.0
stefanholzmueller/todobackend-endpoints4s
Example REST API with endpoints4s, http4s and doobie
stefanholzmueller/drawing-program
stefanholzmueller/endpoints
Scala library to define HTTP-based communication protocols
stefanholzmueller/graal-native-image-test
stefanholzmueller/gramatica
Implementing the logic of Spanish verb conjugation, in an attempt to learn the language
stefanholzmueller/hexagon
stefanholzmueller/micronaut-flyway
Integration between Micronaut and Flyway
stefanholzmueller/micronaut-sql
Projects to support SQL Database access in Micronaut
stefanholzmueller/nutri
NutriScore calculator
stefanholzmueller/package-sets
A curated list of PureScript packages
stefanholzmueller/PedroPascalsTriangleOfPrestige
Simple "game" based on love of math and Pedro Pascal.
stefanholzmueller/postgrest-heroku
Restful API on Heroku
stefanholzmueller/pp3
ProbenProphet v3
stefanholzmueller/psc-package
A package manager for PureScript based on package sets
stefanholzmueller/purescript-formatters
A PureScript alternative to numeral.js, moment.js, etc.
stefanholzmueller/quill
Compile-time Language Integrated Queries for Scala
stefanholzmueller/rust-calculator
stefanholzmueller/scala-stringify
toString replacement for Scala case classes
stefanholzmueller/scalafix-disable-symbols
Scala linter rule
stefanholzmueller/sensor-statistics
stefanholzmueller/slick
Scala Language Integrated Connection Kit
stefanholzmueller/squareword
stefanholzmueller/sudoku-validator
stefanholzmueller/todo-backend-site
source for the TodoBackend website
stefanholzmueller/unisonweb-org
Source for the unisonweb.org website
stefanholzmueller/weekend-countdown
stefanholzmueller/zio-slick-interop
Slick interop for ZIO