Name: Guillermo A. Perez
Type: User
Company: University of Antwerp
Bio: I am a software engineer turned computer scientist. My interests include formal verification, learning theory, and theoretical computer science in general.
Location: Antwerp, Belgium
abssynthe
controller synthesis from succinct safety specifications
acacia-bonsai
A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
acacia4aiger
A framework to feed TLSF input into acacia and transform the output to AIGER
acacia_ltl2aig
Acacia+ snapshot with additional ltl2aig script
ai-toolbox
this is my clone of Svalorzen's AI-Toolbox
aiger
AIGER And-Inverter-Graph Library
ascertain.jl
Julia package for parametrically certifying the computational complexity of active-set QP methods
bench-syntcomp14
Benchmarks used for the synthesis competition since 2014
bench-ulb-syntcomp15
Set of benchmarks created by ULB for SYNTCOMP15
cm-sim
csrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
dblp2mods
A script to translate DBLP xml into (FWO-friendly) MODS xml
endofepi
gaperez64.github.io
gnns
TF2 implementations of GNN architectures
gpomcp
Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem
hoa2pg
Translator from extended HOA-format automata to a PGSolver-format parity game
hybberish
Utilities for the anylisis of hybrid systems
learn-trans-up
Learning transducers with a domain upper bound
meanpayoffsolver
A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.
mfrl-exercises
Programming exercises for the Mathematical Foundations of RL course at UAntwerp
mmt-blue
A Lean Theory of Mealy Machines with Timers
pomdps-reveal
Experiments with POMDPs with revelations
regvsjax
Regina's model meets JAX
scripts
Personal scripts, dev tools and stuff
storm
A Modern Probabilistic Model Checker
syfco
Synthesis Format Conversion Tool
task2aig
Translate the description of a deterministic task system to AIGER
tlsf2gpg
verisig
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
