Explore projects

Module to serialize Java data to a binary format compatible with the C++ module freud-statistics, inside the freud project

IDA 7.5 running inside docker containers

Binomial distribution for master thesis

print input parameters of method, passed through CLI

cluster data collected from production clusters in Alibaba for cluster management research

The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma

Android app for a seminar