Pinned Repositories
Concurrent-Cyclone-with-inference
Type-safe extension of Cyclone language (a systems language) with threads, locks and guarantees for data race freedom
Featherweight-Generic-Java
Featherweight Generic Java interpreter and type system and "dynamic" type safety all implemented in OCaml
pgerakios's Repositories
pgerakios/usda-sqlite
USDA food files SR28 to SQLite
pgerakios/hkt
Higher Kinded Type machinery for Java
pgerakios/order-angular-frontend
pgerakios/order-rest-backend
pgerakios/http4s
A minimal, idiomatic Scala interface for HTTP
pgerakios/heroku-sample-app1
Bare bones java app with no dependencies for Heroku
pgerakios/myplayground
pgerakios/tutorials
The "REST With Spring" Classes:
pgerakios/aspectj-javax-constraints
AspectJ for validating @NotNull annotations at runtime for both actual parameters and return values.
pgerakios/RestExpress
Minimalist Java framework for rapidly creating scalable, containerless, RESTful microservices. Ship a production-quality, headless, RESTful API in the shortest time possible. Uses Netty for HTTP, Jackson for JSON, Metrics for metrics, properties files for configuration. Sub-projects and plugins enable, NoSQL, Swagger, Auth0, HAL integration, etc.
pgerakios/reconnecting-websocket
A small decorator for the JavaScript WebSocket API that automatically reconnects
pgerakios/deltaspike-observer-example
Some example code for testing the @Observes annotation in DeltaSpike with Weld-SE
pgerakios/ds-tickets
DeltaSpike Tickets Example
pgerakios/tightrope
A Java based load balancer using Netty
pgerakios/netty-examples
Various Netty examples
pgerakios/l3dsr
Direct Server Return load balancing across Layer 3 boundaries
pgerakios/cxf.async
pgerakios/gedit-plugins
python plugins for gedit
pgerakios/Concurrent-Cyclone-with-inference
Type-safe extension of Cyclone language (a systems language) with threads, locks and guarantees for data race freedom
pgerakios/Deadlock-avoidance-for-C-pthreads
Combination of static and dynamic analysis of C/pthreads programs that avoids deadlocks
pgerakios/Featherweight-Generic-Java
Featherweight Generic Java interpreter and type system and "dynamic" type safety all implemented in OCaml
pgerakios/Public
Public Git Repo
pgerakios/zeus
Helios server
pgerakios/standalone-jta-example
pgerakios/playground
Experimental repository
pgerakios/malabarista
A Java TCP load balancer built with Netty