Explore projects
-
Updated
-
Updated
-
REYMOND Hugo / SCHEMATIC
MIT LicenseUpdated -
ZIMMERMANN Paul / scrabble
GNU General Public License v3.0 onlyUpdated -
SCHERER Gabriel / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
Andreas Enge / paritwine
GNU General Public License v2.0 or laterPariTwine is a glue library between the system for computer algebra and number theory PARI/GP and a number of other mathematics libraries.
Updated -
obelix / triskele
OtherTRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation
This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us
Updated -
nest-public / nest-artifact
GNU General Public License v2.0 or laterUpdated -
Miticov / mitigating-covid19-outbreaks
GNU General Public License v3.0 onlyThis repository provides the code for reproducing the simulations in https://www.medrxiv.org/content/10.1101/2020.11.09.20228007v1
Updated -
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris
Updated -
Repository for ADAPT project (Adaptive Dynamical Approximations via Parallel Tensor methods). Parallel tensor formats definition, construction and multi-linear solvers.
Updated -
QUENTIN Guilloteau / manuscript-thesis
MIT LicenseUpdated -
Thierry Martinez / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
implementation and metatheory of time credits and time receipts in Iris / Coq
Updated -
Updated
-
Updated