https://github.com/pheymann/typedapi

Build your web API on the type level.

api scala servant shapeless typelevel typesafe

Last synced: 12 Nov 2024

https://github.com/pheymann/specdris

A test framework for Idris

idris idris-ecosystem test-framework testing unit-testing unittest

Last synced: 07 Apr 2025

https://github.com/pheymann/scala-reveal-js

Build reveal.js presentations in Scala

github-pages presentation revealjs scala-rea scalajs

Last synced: 19 Mar 2025

https://github.com/pheymann/meetup-with-functions-and-monads-into-the-rabbit-hole

Meetup talk from 07.09.2017 for 'Scala Hamburg'

Last synced: 19 Mar 2025

https://github.com/pheymann/scala.bft

Parallel Byzantine Fault Tolerance (R&D)

bft consistency replicas

Last synced: 19 Mar 2025

https://github.com/pheymann/artie

Scala test-framework for REST service refactorings

json microservice refactoring response-comparison rest shapeless test-automation testing

Last synced: 19 Mar 2025

https://github.com/pheymann/rest-refactoring-test

Create small and simple refactoring tests for your REST service

akka-http play-framework refactoring rest restful sbt scala spray testing

Last synced: 07 Apr 2025

https://github.com/pheymann/investment-library

Library to script your investment plans

Last synced: 07 Apr 2025

https://github.com/pheymann/typelevel-summit-2018

My Talk - Typedapi: Define your API on the typelevel

Last synced: 07 Apr 2025

https://github.com/pheymann/talks

Collection of conference and meetup talks I gave

Last synced: 07 Apr 2025

https://github.com/pheymann/wernigerode-in-zahlen

Last synced: 07 Apr 2025

https://github.com/pheymann/parseval

Simple, fast and dependency-free Parser

Last synced: 07 Apr 2025

https://github.com/pheymann/paulheymann-website

Last synced: 07 Apr 2025

https://github.com/pheymann/whattoeat

Small, personal webapp to select the dishes for the week (German).

Last synced: 02 Apr 2025

https://github.com/pheymann/alex-app

Last synced: 07 Apr 2025