Pinned Loading

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

   OCaml bindings for the cvc5 SMT solver

   C++ 5 3

2. formalsec/smtml formalsec/smtml Public

   An SMT solver frontend for OCaml

   OCaml 79 17

3. ocaml/opam-repository ocaml/opam-repository Public

   Main public package repository for opam, the source package manager of OCaml.

   577 1.3k

4. 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

5. 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

6. Compilers Compilers Public

   Compiler for the L22 programming language

   C++ 1 1