hbibel's repositories
Language:C++000
flask-login
Flask user session management.
Language:PythonMIT000
Language:Python000
Language:HTML000
Language:JavaApache-2.0000
MAMC
Model Checker for Maneuver Automata
Language:PythonMIT000
Language:Python000
TapToUnlock
A fun new way to unlock your Android phone
Language:JavaApache-2.0000
zio-nio
A small, unopinionated ZIO interface to NIO.
Language:ScalaApache-2.0000
Language:ScalaMIT000
zio-s3
An S3 client for ZIO
Language:ScalaApache-2.0000
zio-sql
Type-safe, composable SQL for ZIO applications
Language:ScalaApache-2.0000