Explore projects

An Input Validator for HTTP based on Context-free Languages

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

Implementation of Striver in Go.

Retrieve paper metadata from conference proceedings and journals indexed in DBLP.

Binomial distribution for master thesis

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

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

print input parameters of method, passed through CLI

instrumentation for Freud in Java

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

HLS Pseudo Random Generator

This is a public mirror of our internal Caribou repository. In case of questions, please feel free to get in touch. mailto:zsolt.istvan@imdea.org