Skip to content
View pgerakios's full-sized avatar

Block or report pgerakios

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

React to screen unlocks in Ubuntu Linux

Shell 33 8 Updated Jun 14, 2023

Converter from a SAT problem to an equivalent 3SAT problem.

Java 2 Updated Dec 31, 2017

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Python 144,226 28,915 Updated May 12, 2025

Lazy evaluation in C++ - http://jscheiny.github.io/Streams/

C++ 688 55 Updated Jul 12, 2021

The Rumprun unikernel and toolchain for various platforms

C 1,148 128 Updated May 11, 2020
TypeScript 4 17 Updated Oct 11, 2017

Selection of examples on how to use Jenkins with docker

Groovy 79 90 Updated Sep 8, 2017

Pure Java implementation for SSH port tunneling that understands ProxyJump and ProxyCommand

Java 34 16 Updated Apr 23, 2025

small, easy to understand continuations library in java

Java 17 8 Updated May 3, 2013

A study project how akka-http works

Scala 110 16 Updated Apr 13, 2017

JVMTI Agent to contol and take action on target GC cycle

C 1 2 Updated Sep 6, 2016

Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.

Kotlin 3,932 414 Updated May 13, 2025

So far, this is a toy project to try out to run riemann in a unikernel.

Clojure 2 Updated Jan 19, 2016

OSv Applications

Shell 5 79 Updated Feb 7, 2014

Object algebras vs. free monads, or type classes vs. ADTs

Scala 17 3 Updated Jun 9, 2017

Bash interpreter for the JVM

Java 52 16 Updated Feb 25, 2014

Source code for my blog entries under martinsdeveloperworld.wordpress.com

Java 26 15 Updated Aug 29, 2015

ubuntu precise 64 dev virtual box with Vagrant and Chef

Ruby 15 3 Updated Apr 29, 2013

A simple code for raw socket in Java using JNetPCAP.

Java 4 3 Updated Feb 27, 2015

Some example code for testing the @Observes annotation in DeltaSpike with Weld-SE

Java 1 1 Updated Mar 11, 2015

netty实现servlet协议架构

Java 1 Updated Mar 16, 2015

Asynchronous Http and WebSocket Client library for Java

Java 6,345 1,598 Updated May 10, 2025
Java 1 1 Updated Mar 3, 2014

Demos for the course Systems Integration Using Java Technologies

Java 1 1 Updated Jan 20, 2013

A small decorator for the JavaScript WebSocket API that automatically reconnects

JavaScript 4,281 968 Updated Jul 26, 2022

Fibers, Channels and Actors for the JVM

Java 4,572 574 Updated Jan 21, 2024

Convenient abstractions related to the getResource() pattern

Scala 3 Updated Mar 20, 2013
Next
Showing results