Pinned Repositories
SQIRL
jscert
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
website
Original KPHP website
jscert_dev
This repository is now abandoned in favour of using
browseraudit
The server-side and client-side code powering BrowserAudit.com
imdbpy
IMDbPY is a Python package useful to retrieve and manage the data of the IMDb movie database about movies, people, characters and companies
js-rl
Enhancing Javascript engine fuzzing with Reinforcement Learning
PolarRec
An academic resource recommendation engine.
PolarRec-Zotero-Plugin
A Zotero plugin that provides the PolarRec service within the Zotero UI.
sergiomaffeis.github.io
github web page
sergiomaffeis's Repositories
sergiomaffeis/browseraudit
The server-side and client-side code powering BrowserAudit.com
sergiomaffeis/imdbpy
IMDbPY is a Python package useful to retrieve and manage the data of the IMDb movie database about movies, people, characters and companies
sergiomaffeis/js-rl
Enhancing Javascript engine fuzzing with Reinforcement Learning
sergiomaffeis/PolarRec
An academic resource recommendation engine.
sergiomaffeis/PolarRec-Zotero-Plugin
A Zotero plugin that provides the PolarRec service within the Zotero UI.
sergiomaffeis/sergiomaffeis.github.io
github web page
sergiomaffeis/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.