GitLab

Implementation of Striver in Go.

HLS Pseudo Random Generator

First HLS project

Android app for a seminar

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

code from https://www.sable.mcgill.ca/soot/tutorial/profiler2/index.html

IMDEA Software web page sources, powered by Hugo

IDA 7.5 running inside docker containers

An Input Validator for HTTP based on Context-free Languages

print input parameters of method, passed through CLI

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

instrumentation for Freud in Java