Explore projects
-
Proof of Concept of a vulnerability in OpenSSL's implementation of SRP (Secure Remote Password)
Updated -
Updated
-
Genom3 component for object detection using ViSP DNN module.
Updated -
Updated
-
Updated
-
-
-
-
-
Subdivision_solver is a solver for square systems of polynomial equations using exhaustive search in an initial bounded real domain given as a box (i.e. a vector of intervals). It is specifically designed to handle systems of large dense polynomials.
Updated -
-
Vicente Mataix Ferrándiz / CPP-Fundamentals
MIT LicenseJupyter Notebooks for Learning CS Foundational Concepts using C++
Updated -
CORSE / Python Folding
BSD 3-Clause "New" or "Revised" LicenseUpdated -
GRUBER Fabian / python-folding
BSD 3-Clause "New" or "Revised" LicensePython implementation of the geometric folding trace compression algorithm used in MICKEY/POLY-PROF.
Updated -
Updated
-
Updated
-
D3 / Grid Vectorization
GNU General Public License v3.0 onlyUpdated -
C library project for rigorous Chebyshev approximations to solutions of linear ordinary differential equations
Updated -
Generate a graph of dependencies between declared values in a Skel semantics
Updated