Explore projects
-
ROUVREAU Vincent / custom-runner
BSD 3-Clause "New" or "Revised" LicenseUpdated -
ROUVREAU Vincent / present
BSD 3-Clause "New" or "Revised" Licensepresent is a combo of pandoc, reveal.js and mermaid. js to help to make beautiful and efficient presentations.
Updated -
Updated
-
Updated
-
Updated
-
NERESTAN Clement / cyto
MIT LicenseUpdated -
NERESTAN Clement / vici
GNU General Public License v3.0 onlyUpdated -
Updated
-
A Coq formalization of real analysis compatible with the standard library.
Updated -
Updated
-
POISSON Manuel / BRON-fork
MIT LicenseUpdated -
Updated
-
Updated
-
steep / TransKey
GNU General Public License v3.0 or laterUpdated -
-
An experimental study based on the test_FEMBEM solver
Updated -
A Coq formalization of real analysis compatible with the standard library.
Updated