Explore projects

M

BODIN Martin / Math Coq Tests

1

Updated Feb 12, 2025

1 0 0 0

Updated Feb 12, 2025
W

HANY Jean / wiki_lookinlabs_inria

1

Updated Nov 28, 2019

1 0 0 0

Updated Nov 28, 2019
E

fec / publications / energy_consumption_analysis_of_software_polar_decoders_on_low_power_processors

1

Updated Jan 15, 2019

1 0 0 0

Updated Jan 15, 2019
skeletons / Necro – Fixed Point Analysis Generator

1

Updated Sep 17, 2024

1 0 0 0

Updated Sep 17, 2024
S

PIETRIGA Emmanuel / seawall

A version of TsunamiLab running on cluster-driven wall displays.

1

Updated Aug 19, 2019

1 0 0 0

Updated Aug 19, 2019
T

SUSHI-public / Misc. / Thesis template

A fork of MATISSE's thesis template

latex manuscrit

1

Updated Nov 24, 2024

1 0 0 0

Updated Nov 24, 2024
M

ZIMMERMANN Paul / math_accuracy

Tools to check the accuracy of mathematical functions

1

Updated Feb 07, 2025

1 0 0 0

Updated Feb 07, 2025
C

compose / include / compose-bibliography

1

Updated Jan 05, 2023

1 0 0 0

Updated Jan 05, 2023
T

BERTOT Yves / triangles

1

Updated Sep 19, 2022

1 0 0 0

Updated Sep 19, 2022
C

BERTOT Yves / coq-in-a-hurry

1

Updated Oct 30, 2017

1 0 0 0

Updated Oct 30, 2017
M

datapol / Manuscript-template
MIT License

1

Updated Oct 23, 2021

1 0 0 1

Updated Oct 23, 2021
I

Robin GERZAGUET / IRISA_Template_Beamer

1

Updated Jan 16, 2025

1 0 0 0

Updated Jan 16, 2025
P

FEKETE Jean-Daniel / PPCA
BSD 2-Clause "Simplified" License

Progressive Principal Component Analysis

1

Updated May 24, 2023

1 0 0 0

Updated May 24, 2023
T

nixos-compose / tuto-nxc

1

Updated Jun 18, 2024

1 0 0 1

Updated Jun 18, 2024
B

fec / publications / beyond_gbps_turbo_decoder_on_multi-core_cpus

1

Updated Jan 15, 2019

1 0 0 0

Updated Jan 15, 2019
F

fec / publications / fast_simulation_and_prototyping_with_aff3ct

1

Updated Mar 18, 2019

1 0 0 0

Updated Mar 18, 2019
T

BODIN Martin / td-math-coq

1

Updated Mar 17, 2025

1 0 0 0

Updated Mar 17, 2025
B

Philippe Virouleau / bidouille-instrumentation
GNU General Public License v3.0 or later

1

Updated Jun 27, 2023

1 0 1 0

Updated Jun 27, 2023
S

solverstack / mini-examples / Starpu Example Stencil

1

Updated Feb 27, 2025

1 0 0 0

Updated Feb 27, 2025
S

PRIYA Swarn / Simple_Lang_SSLH

1

Updated Feb 28, 2023

1 0 0 0

Updated Feb 28, 2023