GitLab

HLS Pseudo Random Generator

print input parameters of method, passed through CLI

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

First HLS project

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

Android app for a seminar

instrumentation for Freud in Java

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

An Input Validator for HTTP based on Context-free Languages

Implementation of Striver in Go.