Explore projects
-
Updated
-
Updated
-
ASARD / Ateliers GitLab / CICD
Creative Commons Attribution Non Commercial 4.0 InternationalUpdated -
PTAL / Automata / TensorAutomata.jl
CeCILL-B Free Software License AgreementUpdated -
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
NLP / Deep Learning / JointBERT
Apache License 2.0Updated -
Updated
-
Julien Lopez / QueryR
GNU General Public License v3.0 onlyThis project is the home of the branch of the Truffle R language with a query library.
Updated -
-
PTAL / Automata / ASparseArrays.jl
CeCILL-B Free Software License AgreementUpdated -
Updated
-
Updated
-
Updated
-
Julien Lopez / qsl
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Julien Lopez / qir
GNU General Public License v2.0 or laterUpdated -
Updated
-
Updated