Explore projects
-
Updated
-
hol-light-isabelle / hol-light
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated
-
Updated
-
Thierry Martinez / coq
GNU Lesser General Public License v2.1 onlyUpdated -
IntuiDocEnlignePublic / DOLT-C3D_with_SGCTC-OAD_2023
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalDOLT-C3D with Segmentation-Guided CTC and weighted label prior (3D OAD) (2023). Made by William Mocaër.
Updated -
Updated
-
-
Updated
-
OBSOLETE: the Grew library is now maintained on https://github.com/grew-nlp/grewlib
Updated -
Updated
-
Updated
-
How to use Org mode and Guix to build a reproducible experimental study
Updated -
Robin GERZAGUET / LatexConfusionMatrix
MIT LicenseUpdated -
Minimal working example of an experimental study
Updated -
Thierry Martinez / coccinelle
GNU General Public License v2.0 or laterCoccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated