Explore projects

View AGRIF project

DEBREU Laurent / AGRIF

Adaptive Grid Refinement In Fortran

0

Updated Jan 19, 2026

0 0 0 0

Updated Jan 19, 2026
View Presentation draft project

ARITH 2026 - Normalization in Small FP Formats / Presentation draft

0

Updated Jan 13, 2026

0 0 0 0

Updated Jan 13, 2026
View main project

LINE / aide / main

The AIDE project software development bundle

0

Updated Jan 03, 2026

0 0 0 0

Updated Jan 03, 2026
View bibtex-sw-entry project

gt-sw-citation / bibtex-sw-entry

bibtex-sw-entry

6

Updated Dec 27, 2025

6 0 0 5

Updated Dec 27, 2025
View openrox project

ACENTAURI-PUBLIC / openrox
GNU General Public License v3.0 only

1

Updated Dec 20, 2025

1 0 0 0

Updated Dec 20, 2025
View itauto project

BESSON Frederic / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

3

Updated Dec 19, 2025

3 8 0 2

Updated Dec 19, 2025
View staticAnalysisPapers project

Faouzi MOKHEFI / staticAnalysisPapers

0

Updated Dec 18, 2025

0 0 0 0

Updated Dec 18, 2025
View Modern C project

Jens Gustedt / Modern C
MIT License

0

Updated Dec 18, 2025

0 0 0 0

Updated Dec 18, 2025
View itauto project

Matthieu Sozeau / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

0

Updated Dec 15, 2025

0 0 0 0

Updated Dec 15, 2025
View matapli project

Thomas Saigre-Tardif / matapli
Other

0

Updated Dec 09, 2025

0 0 0 0

Updated Dec 09, 2025
View deepLorIA project

TERRANOVA Franco / deepLorIA

3

Updated Dec 04, 2025

3 1 0 0

Updated Dec 04, 2025
View GettingStartedWithModernCpp project

DIAZ Jerome / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 International

A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.

0

Updated Nov 25, 2025

0 0 0 0

Updated Nov 25, 2025
View itauto project

DIAZ TRONCOSO Tomas / itauto
MIT License

Itauto: an Extensible Intuitionistic SAT Solver

0

Updated Nov 24, 2025

0 0 0 0

Updated Nov 24, 2025
View ModRef24 project

Lifeware / ModRef24
LaTeX Project Public License v1.3c

1

Updated Nov 20, 2025

1 0 0 0

Updated Nov 20, 2025
View survivalGPU project

HeKA / survivalGPU
GNU Lesser General Public License v2.1 only

0

Updated Nov 20, 2025

0 0 0 0

Updated Nov 20, 2025
View salto.gitlabpages.inria.fr project

salto / salto.gitlabpages.inria.fr

OCaml static analysis

0

Updated Nov 19, 2025

0 0 0 0

Updated Nov 19, 2025
View iops_bo project

Abdraman Mahamat / iops_bo

0

Updated Nov 18, 2025

0 0 0 0

Updated Nov 18, 2025
View compo.tidyML project

COMPO / compo.tidyML
Other

0

Updated Nov 18, 2025

0 0 0 0

Updated Nov 18, 2025
View backwardtuning project

LINE / aide / backwardtuning

Recurrent network weight tuning

0

Updated Nov 01, 2025

0 0 0 0

Updated Nov 01, 2025
View symbolingtype project

LINE / aide / symbolingtype

0

Updated Oct 28, 2025

0 0 0 0

Updated Oct 28, 2025