qbuzet

Pinned Repositories

heuristics
Language:Jupyter Notebook1 1 00
lambdapi-stdlib
Repository of Lambdapi developments
Language:Makefile5 3 06
ising
Language:C00
lib
Lambdapi standard library on natural numbers and polymorphic lists (in intuitionistic first-order logic)
Language:Makefile00
mitro209
Implementation of the 2-approximation algorithm for finding a denset subgraph
Language:Jupyter Notebook00
proj_mpro
00
sd202
Cours SD202 CrD (Télécom Paris 2023)
Language:Jupyter Notebook00

qbuzet's Repositories

qbuzet/ising
Language:C00
qbuzet/lib
Lambdapi standard library on natural numbers and polymorphic lists (in intuitionistic first-order logic)
Language:Makefile00
qbuzet/mitro209
Implementation of the 2-approximation algorithm for finding a denset subgraph
Language:Jupyter Notebook00
qbuzet/proj_mpro
00
qbuzet/sd202
Cours SD202 CrD (Télécom Paris 2023)
Language:Jupyter Notebook00