Giters
Pierre Ganty (pierreganty)

pierreganty

Geek Repo

18

followers

7

following

312

stars

Company:@imdea-software

Location:Spain

Home Page:http://software.imdea.org/~pierreganty/

Github PK Tool:Github PK Tool

Organizations
imdea-software

Pierre Ganty's repositories

mist

Safety checker for Petri Nets (and monotonic extensions)

Language:PythonLicense:GPL-3.0Stargazers:2Issues:2Issues:23

active-learning-neovim

Active automata-based learning of the Moore machine underlying Neovim

Language:PythonLicense:GPL-3.0Stargazers:1Issues:0Issues:0

c2s

Language:OCamlLicense:Apache-2.0Stargazers:1Issues:2Issues:0

bfc_fork

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonStargazers:0Issues:1Issues:0

FORKLIFT

Language:JavaLicense:GPL-3.0Stargazers:0Issues:1Issues:0

homebrew-cask

🍻 A CLI workflow for the administration of macOS applications distributed as binaries

Language:RubyLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

iocsearcher

A library and command line tool for extracting indicators of compromise (IOCs) from security reports in PDF, HTML, or text formats

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

NTSLib

http://richmodels.epfl.ch/ntscomp

Language:CStargazers:0Issues:1Issues:0

rat

Regular Expression Denial of Service analyzer.

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

science-based-games-list

Science-based games - a collaborative list

Stargazers:0Issues:1Issues:0

vim

The official Vim repository

Language:Vim ScriptLicense:VimStargazers:0Issues:1Issues:0

women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research

Stargazers:0Issues:1Issues:0