Explore projects

Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.

Static analyzers for higher-order languages

Implementing symbolic data structure numeric grounding

OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib

Source for the page https://paperman.name/semigroup

Laravel based web interface to run different GRS on a sentence

One of the essential steps to apply any supervised deep learning algorithm is to design a reliable and comprehensive dataset. We explore the use of a synthetic generator of vulnerabilities for Web secruty flaws.