Skip to content
View gaperez64's full-sized avatar
16 followers · 3 following

Sponsoring

@CSrankings

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report gaperez64

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • gaperez64.github.io Public

    TeX 1 Updated Sep 9, 2024

  • hybberish Public

    Utilities for the anylisis of hybrid systems

    C 2 MIT License Updated Sep 6, 2024

  • cm-sim Public

    Python GNU General Public License v3.0 Updated Sep 4, 2024

  • dlx4q Public

    Dancing links Algorithm X for model counting as required when encoding quantum circuits

    Python MIT License Updated Sep 2, 2024

  • acacia-bonsai Public

    A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains

    C 4 3 GNU General Public License v3.0 1 issue needs help Updated Aug 29, 2024

  • tlsf Public

    Utilities and tools for TLSF: A language for reactive synthesis specifications

    C GNU General Public License v3.0 Updated Aug 22, 2024

  • pomdps-reveal Public

    Experiments with POMDPs with revelations

    Python GNU General Public License v3.0 Updated Aug 16, 2024

  • CSrankings Public

    Forked from emeryberger/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.

    Python Other Updated Jun 23, 2024

  • regvsjax Public

    Regina's model meets JAX

    Python 1 GNU General Public License v3.0 Updated May 15, 2024

  • AbsSynthe Public

    controller synthesis from succinct safety specifications

    C++ 4 2 GNU General Public License v3.0 Updated Apr 25, 2024

  • mmt-blue Public

    A Lean Theory of Mealy Machines with Timers

    TeX Updated Apr 21, 2024

  • ASCertain.jl Public

    Forked from darnstrom/ASCertain.jl

    Julia package for parametrically certifying the computational complexity of active-set QP methods

    Julia MIT License Updated Mar 7, 2024

  • dblp2mods Public

    A script to translate DBLP xml into (FWO-friendly) MODS xml

    Python GNU General Public License v3.0 Updated Feb 24, 2024

  • scripts Public

    Personal scripts, dev tools and stuff

    Python Updated Sep 5, 2023

  • gnns Public

    TF2 implementations of GNN architectures

    Python 2 GNU General Public License v3.0 Updated Jul 25, 2023

  • aiger Public

    Forked from arminbiere/aiger

    AIGER And-Inverter-Graph Library

    C Other Updated Apr 12, 2023

  • syfco Public

    Forked from reactive-systems/syfco

    Synthesis Format Conversion Tool

    Haskell MIT License Updated Mar 15, 2023

  • endofepi Public archive

    TeX 1 Updated Jan 30, 2023

  • mfrl-exercises Public

    Programming exercises for the Mathematical Foundations of RL course at UAntwerp

    Python 1 1 GNU General Public License v3.0 Updated Aug 3, 2022

  • verisig Public

    Forked from Verisig/verisig
    C++ GNU General Public License v3.0 Updated Apr 5, 2022

  • tlsf2gpg Public

    C++ 1 1 GNU Lesser General Public License v2.1 Updated May 30, 2021

  • storm Public

    Forked from moves-rwth/storm

    A Modern Probabilistic Model Checker

    C++ GNU General Public License v3.0 Updated Mar 17, 2021

  • task2aig Public

    Translate the description of a deterministic task system to AIGER

    C GNU General Public License v3.0 Updated Aug 11, 2020

  • hoa2pg Public archive

    Translator from extended HOA-format automata to a PGSolver-format parity game

    1 Updated May 16, 2020

  • acacia4aiger Public

    A framework to feed TLSF input into acacia and transform the output to AIGER

    C 3 1 GNU General Public License v3.0 Updated May 19, 2019

  • GPOMCP Public

    Guaranteed POMCP is a partial-observation Monte Carlo Planning algorithm for the guaranteed payoff optimization problem

    C++ 2 GNU General Public License v3.0 Updated Nov 26, 2016

  • AI-Toolbox Public

    this is my clone of Svalorzen's AI-Toolbox

    C++ 2 GNU General Public License v3.0 Updated Nov 26, 2016

  • MeanPayoffSolver Public

    Forked from romainbrenguier/MeanPayoffSolver

    A solver for Mean Payoff Games, based on gain and bias equations and the Z3 SMT solver.

    C++ Updated Aug 6, 2016

  • acacia_ltl2aig Public

    Acacia+ snapshot with additional ltl2aig script

    C 1 GNU General Public License v2.0 Updated Mar 23, 2016

  • bench-ulb-syntcomp15 Public

    Set of benchmarks created by ULB for SYNTCOMP15

    Updated Jun 10, 2015