Explore projects

View Quiproco project

Privacy Games / Quiproco

0

Updated Apr 01, 2024

0 0 0 0

Updated Apr 01, 2024
View itauto project

Emilio Jesus GALLEGO ARIAS / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

0

Updated Apr 04, 2024

0 0 0 0

Updated Apr 04, 2024
View Tutorial project

Guix tutorial - Compas 2023 / Tutorial

Towards a reproducible research study with Guix

0

Updated Apr 14, 2024

0 0 0 0

Updated Apr 14, 2024
View Scientific_Software_Development_2023 project

FARNUDI Ali / Scientific_Software_Development_2023

0

Updated Apr 17, 2024

0 0 0 0

Updated Apr 17, 2024
View adastop_acm project

MATHIEU Timothee / adastop_acm

0

Updated May 03, 2024

0 0 0 0

Updated May 03, 2024
View Graph_partitioning project

KHERRAZ Mohamed / Graph_partitioning

0

Updated May 20, 2024

0 0 0 0

Updated May 20, 2024
View stage_m2 project

GALLOIS Mael / stage_m2

0

Updated May 24, 2024

0 0 0 0

Updated May 24, 2024
View Manuscript project

BAILLON Martin / Manuscript

0

Updated Jul 08, 2024

0 0 0 0

Updated Jul 08, 2024
View parcoursup project

Why3 / parcoursup

Preuve sur les algos de Parcoursup

0

Updated Jul 10, 2024

0 0 0 0

Updated Jul 10, 2024
View ProVerif project

Meta Blipp / ProVerif

ProVerif symbolic protocol verifier

0

Updated Aug 13, 2024

0 0 0

Updated Aug 13, 2024
View nbodymotion project

LINE / aide / nbodymotion

0

Updated Aug 18, 2024

0 0 0 0

Updated Aug 18, 2024
View redaction_these project

Auctus Team / People / ErwannLandais / Public / archive / redaction_these

0

Updated Aug 24, 2024

0 0 0 0

Updated Aug 24, 2024
View Necro – Fixed Point Analysis Generator project

skeletons / Necro – Fixed Point Analysis Generator

1

Updated Sep 17, 2024

1 0 0 0

Updated Sep 17, 2024
View master-thesis project

SFERLAZZA Alessandro / master-thesis

0

Updated Sep 24, 2024

0 0 0 0

Updated Sep 24, 2024
View HHO a posteriori project

DELATTRE Nathan / HHO a posteriori

0

Updated Sep 30, 2024

0 0 0 0

Updated Sep 30, 2024
View incin2x project

CAMPILLO Fabien / incin2x

Interface, control, and identification for neuroscience excitable experiments

0

Updated Oct 02, 2024

0 0 0 0

Updated Oct 02, 2024
View Markov Succession project

CAMPILLO Fabien / Markov Succession

0

Updated Oct 03, 2024

0 0 0 0

Updated Oct 03, 2024
View Implementation project

COAST / Mécanismes de sécurité pour les systèmes collaboratifs sans autorité centrale / Implementation
Mozilla Public License 2.0

Implementation of CRDTp and CRDTd encapsulation mecanisms to evaluate ACCURE - see accure.rigelk.eu

python jupyter test

0

Updated Oct 22, 2024

0

Updated Oct 22, 2024
View datamove project

Thesis of Marek Felšöci / slides / datamove

Seminar in Datamove team

0

Updated Nov 05, 2024

0 0 0 0

Updated Nov 05, 2024
View NFS lectures project

GUILLEVIC Aurore / NFS lectures
Creative Commons Attribution Non Commercial Share Alike 4.0 International

0

Updated Nov 06, 2024

0 0 0 0

Updated Nov 06, 2024

Admin message

Explore projects