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 27 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