Explore projects

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

Scripts for proof reading text documents

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

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

An Input Validator for HTTP based on Context-free Languages

First HLS project

Implementation of Striver in Go.

instrumentation for Freud in Java

HLS Pseudo Random Generator