pierreganty
Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.
@imdea-software Spain
Pinned Repositories
active-learning-neovim
Active automata-based learning of the Moore machine underlying Neovim
bfc_fork
c2s
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
FORKLIFT
homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
iocsearcher
A library and command line tool for extracting indicators of compromise (IOCs) from security reports in PDF, HTML, or text formats
mist
Safety checker for Petri Nets (and monotonic extensions)
NTSLib
http://richmodels.epfl.ch/ntscomp
rat
Regular Expression Denial of Service analyzer.
pierreganty's Repositories
pierreganty/mist
Safety checker for Petri Nets (and monotonic extensions)
pierreganty/active-learning-neovim
Active automata-based learning of the Moore machine underlying Neovim
pierreganty/c2s
pierreganty/FORKLIFT
pierreganty/bfc_fork
pierreganty/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
pierreganty/homebrew-cask
🍻 A CLI workflow for the administration of macOS applications distributed as binaries
pierreganty/iocsearcher
A library and command line tool for extracting indicators of compromise (IOCs) from security reports in PDF, HTML, or text formats
pierreganty/NTSLib
http://richmodels.epfl.ch/ntscomp
pierreganty/rat
Regular Expression Denial of Service analyzer.
pierreganty/science-based-games-list
Science-based games - a collaborative list
pierreganty/vim
The official Vim repository
pierreganty/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research