Explore projects

S

starpu / starpu
GNU Lesser General Public License v2.1 only

3

Updated Oct 09, 2024

3 0 0 0

Updated Oct 09, 2024
T

openhandicap / trackball

2

Updated Jul 03, 2024

2 0 0 0

Updated Jul 03, 2024
D

Diallo Amadou / Dobby

1

Updated Jan 12, 2024

1 1 0 0

Updated Jan 12, 2024
D

Pauleve Loic / Doomed Configurations

0

Updated Jun 10, 2022

0 0 0 0

Updated Jun 10, 2022
T

taf / Talence Presburger Arithmetic Suite
Other

TaPAS is a set of ANSI C libraries related to Presburger Arithmetic and a small solver program.

0

Updated Jun 08, 2023

0 0 0 0

Updated Jun 08, 2023
C

AltaRica Project / C Common Library
Other

0

Updated Jun 06, 2023

0 0 0 0

Updated Jun 06, 2023
Gavoille Cyril / GenGraph
CeCILL-C Free Software License Agreement

a graph generator

graph theory

0

Updated Oct 13, 2024

0 0 0 0

Updated Oct 13, 2024
D

Lederer Victor / Dobby

0

Updated Jan 22, 2024

0 0 0 0

Updated Jan 22, 2024
K

Couegnat Guillaume / kintsugi

0

Updated May 06, 2022

0 0 0 0

Updated May 06, 2022
AltaRica Project / AltaRica Checker
MIT License

0

Updated Feb 09, 2024

0 0 0 1

Updated Feb 09, 2024