Explore projects
-
Updated
-
Updated
-
Updated
-
-
memcad / memcad
GNU General Public License v3.0 onlyUpdated -
cambium / Hazel
GNU General Public License v3.0 or laterThis repository contains the Coq/Iris proofs that accompany the paper A Separation Logic for Effect Handlers.
Updated -
Geomerix / Multiscale Incomplete Cholesky Preconditioner
GNU General Public License v3.0 or laterImplementation of J. Chen et al.'s '' Multiscale Cholesky Preconditioning for Ill-conditioned Problems '', ACM SIGGRAPH 2021. Under GPL v3 license; contact mathieu.desbrun@inria.fr for info. Project by Jiong Chen, Florian Schaefer, Mathieu Desbrun.
Updated -
HCL / nfs-workaround
BSD 3-Clause "New" or "Revised" LicenseContournement d'un bug NFS/kerberos
Updated -
Updated
-
LAWALL Julia / patchparse4
GNU General Public License v2.0 or laterUpdated -
-
Updated
-
Updated
-
LECHENET Jean-Christophe / lDFS
MIT LicenseFormalization in Coq and Why3 of a theory about weak control dependence
Updated -
DEBREUVE Eric / Dijkstra-IMG
CeCILL Free Software License Agreement v2.1Dijkstra Shortest Weighted Path between Image Pixels/Voxels
Updated -
Seed_detection / Predator
GNU General Public License v3.0 or laterUpdated -
Updated