Explore projects
-
-
GALLEGO ARIAS Emilio Jesus / itauto
MIT LicenseItauto: an Extensible Intuitionistic SAT Solver
Updated -
ARRIVAULT Denis / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
Thierry Martinez / latex-beamer
BSD 3-Clause "New" or "Revised" LicenseUpdated -
MALANDAIN Mathias / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 International(Fork) A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
DIAZ Jerome / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalA tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Updated
-
Updated
-
Updated
-
faust group / FAuST-1.x
GNU Affero General Public License v3.0Updated -
Updated
-
How to use Org mode and Guix to build a reproducible experimental study
Updated -
Minimal working example of an experimental study written in Org mode
Updated -
Minimal working example of an experimental study
Updated -
Diaporama pour la rencontre sur les logiciels libres de recherche
UpdatedUpdated