Stars
Converter from a SAT problem to an equivalent 3SAT problem.
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Lazy evaluation in C++ - http://jscheiny.github.io/Streams/
The Rumprun unikernel and toolchain for various platforms
Selection of examples on how to use Jenkins with docker
Pure Java implementation for SSH port tunneling that understands ProxyJump and ProxyCommand
small, easy to understand continuations library in java
JVMTI Agent to contol and take action on target GC cycle
Gradle plugin to create fat/uber JARs, apply file transforms, and relocate packages for applications and libraries. Gradle version of Maven's Shade plugin.
So far, this is a toy project to try out to run riemann in a unikernel.
Object algebras vs. free monads, or type classes vs. ADTs
Source code for my blog entries under martinsdeveloperworld.wordpress.com
ubuntu precise 64 dev virtual box with Vagrant and Chef
A simple code for raw socket in Java using JNetPCAP.
Some example code for testing the @Observes annotation in DeltaSpike with Weld-SE
Asynchronous Http and WebSocket Client library for Java
Demos for the course Systems Integration Using Java Technologies
A small decorator for the JavaScript WebSocket API that automatically reconnects
Convenient abstractions related to the getResource() pattern