Explore projects

Z

LOECHNER Vincent / ZPolyTrans

ZPolyTrans

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
Z

Gérard Huet / Zen

Zen computational linguistics OCaml library

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
Y

convergence-hpc-bigdata / hpc-hadoop-light / yarnhpc

1

Updated Dec 06, 2023

1 0 0 0

Updated Dec 06, 2023
X

H2M / Applications / XSBench
MIT License

Fork of https://github.com/ANL-CESAR/XSBench

0

Updated Oct 01, 2023

0 0 0 0

Updated Oct 01, 2023
X

Philippe Virouleau / xps-chameleon

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
X

AL SERHALI Antonio / XPath Benchmark

0

Updated Jan 21, 2023

0 0 0 0

Updated Jan 21, 2023
rainbowFS / workshop-site

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html

0

Updated Apr 03, 2022

0 0 0 0

Updated Apr 03, 2022
W

Samir SI-MOHAMMED / WiFi Simulations NS3
GNU General Public License v2.0 or later

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
W

OpenBiscuit / Software / WifiBotLib

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
W

Why3 / WhyMP
GNU General Public License v3.0 or later

WhyMP is an arbitrary-precision integer library for C that is inspired by GMP, implemented in WhyML, and formally verified using Why3.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
Matteo Manighetti / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Sep 14, 2023

0 0 0 0

Updated Sep 14, 2023
Clément Pascutto / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
Jean-Christophe Filliâtre / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
Why3 / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

6

Updated Dec 07, 2023

6 8 34 179

Updated Dec 07, 2023
Benedikt Becker / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
PARREIRA PEREIRA Mário José / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
LENGRAND Stephane / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
BAUDIN Lucas / why3
GNU Lesser General Public License v2.1 only

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

0

Updated Mar 14, 2022

0 0 0 0

Updated Mar 14, 2022
W

RMOD / website

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/

0

Updated Nov 20, 2023

0 2 0 5

Updated Nov 20, 2023
W

MAMANI TORRES Milton / website

This is Rmod team website sources. Changes made on pillar files generate HTML that are automatically published to https://rmod.gitlabpages.inria.fr/website/

0

Updated Sep 01, 2022

0 0 0 0

Updated Sep 01, 2022