pierreganty
Researcher at @imdea-software, designing algorithms to solve problems for systems with infinitely many states.
@imdea-software Spain
pierreganty's Stars
SaschaWillems/Vulkan
C++ examples for the Vulkan graphics API
phiresky/ripgrep-all
rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
joeycastillo/The-Open-Book
openscad/openscad
OpenSCAD - The Programmers Solid 3D CAD Modeller
vincentdoerig/latex-css
LaTeX.css is a CSS library that makes your website look like a LaTeX document
github/renaming
Guidance for changing the default branch name for GitHub repositories
LukeSmithxyz/based.cooking
A simple culinary website.
klembot/twinejs
Twine, a tool for telling interactive, nonlinear stories
Yours3lf/rpi-vk-driver
VK driver for the Raspberry Pi (Broadcom Videocore IV)
katef/libfsm
DFA regular expression library & friends
jiazhihao/TASO
The Tensor Algebra SuperOptimizer for Deep Learning
katef/kgt
BNF wrangling and railroad diagrams
3dlg-hcvc/plan2scene
Official implementation of the paper Plan2Scene.
citation-file-format/citation-file-format
The Citation File Format lets you provide citation metadata for software or datasets in plaintext files that are easy to read by both humans and machines.
RadarCOVID/radar-covid-android
Native Android app using DP^3T Android sdk to handle Exposure Notifications API from Google
sosy-lab/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
tendra/tendra
The TenDRA Project
jeanqasaur/women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
DES-Lab/AALpy
An Automata Learning Library Written in Python
latex-lsp/tree-sitter-latex
LaTeX grammar for tree-sitter
montera34/escovid19data
Recopilación de datos de COVID19 por provincias en España
maddindeiss/co2-monitor
Measure CO2 and temperature in nodejs with the TFA-Dostmann AirControl Mini
rubenvannieuwpoort/static-site-generator
A static site generator which supports markdown with LaTeX.
ciao-lang/ciaopp
The Ciao Preprocessor
parof/bait
A ω-regular language inclusion checker
raseribanez/Minecraft-Pi-Python-NEW-MAPS
Worlds...Codes...Awesomeness
Apanatshka/dnfa
Deterministic and Non-Deterministic Finite Automata -- implemented in Rust
otfried/ipepresenter-issues
Issue tracker for IpePresenter
vasil-sd/ocaml-ba
Ocaml library for Buchi automata
dangtv/ba-check
Büchi Automata