Explore projects
-
DERUMIGNY Nicolas / palmed
GNU General Public License v3.0 or laterGUS feet: generation of a performance model from a pipedream-compatible ISA
Updated -
cado-nfs / cado-nfs
GNU Lesser General Public License v2.1 onlyCado-NFS, An Implementation of the Number Field Sieve Algorithm
If you want to report bugs, or participate in cado-nfs development, read this
Updated -
datapol / Manuscript-template
MIT LicenseUpdated -
Updated
-
POTTIER Francois / fix
GNU Library General Public License v2 onlyAn OCaml library that provides facilities for memoization and fixed points.
Updated -
qparse / qparselib
CeCILL Free Software License Agreement v2.1Music transcription framework based on parsing for weighted regular tree grammars
Updated -
Teaching material for an industrial audience
Updated -
Updated
-
Updated
-
Emmanuel Thomé / cado-nfs-exp
GNU Lesser General Public License v2.1 onlyscrap book with cado-nfs-related experiments
Updated -
-
MOROZ Guillaume / voxelize
GNU General Public License v2.0 or laterVoxelize is a command line and python library to plot surfaces and curves solutions of polynomial equations and inequalities, using internally compressed sparse fiber to encode boxes and polynomials.
Updated -
Catala / Verifisc-python
GNU General Public License v3.0 onlyPrototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
Updated -
metapart / scotch
OtherPackage for graph and mesh/hypergraph partitioning, graph clustering, and sparse matrix ordering.
Updated -
minicroco / PSyclone for minicroco
BSD 3-Clause "New" or "Revised" LicenseA local clone of the PSyClone official repository (https://github.com/stfc/PSyclone) to store our local temporary changes for the studies we are doing and to keep track of them in a single place.
Updated -
BUFFET Olivier / LC-HSVI-nips18
MIT LicensePOMDP and rho-POMDP solver exploiting the Lipschitz-continuity of finite-horizon value functions (source code for NIPS 2018)
Updated -
mnemosyne / neurosmart
Creative Commons Attribution 3.0 UnportedUpdated -
Updated
-
An implementation of a causal and interactive model for a concurrent MiniOCaml
Updated -
REYMOND Hugo / SCHEMATIC
MIT LicenseUpdated