Skip to content
View joaomhmpereira's full-sized avatar
10 followers · 10 following
  • Instituto Superior Técnico
  • Lisbon

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Highlights

  • Pro

Organizations

@formalsec

Block or report joaomhmpereira

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

Pinned Loading

  1. formalsec/ocaml-cvc5 formalsec/ocaml-cvc5 Public

    OCaml bindings for the cvc5 SMT solver

    OCaml 2 1

  2. formalsec/smtml formalsec/smtml Public

    A frontend for multiple SMT solvers in OCaml

    OCaml 26 7

  3. Software-Security Software-Security Public

    A static analysis tool that searches for possible vulnerabilities in the form of illegal information flows for the PHP programming language

    Python 1

  4. Parallel-and-Distributed-Computing Parallel-and-Distributed-Computing Public

    Travelling Salesman Problem (Serial, OpenMP and MPI) implementation using Branch and Bound algorithm.

    C++ 2 3

  5. Compilers Compilers Public

    Compiler for the L22 programming language

    C++ 1 1

  6. MetroApp MetroApp Public

    A React.js web app that allows users to consult Lisbon's Metro current times and informations

    JavaScript