Explore projects
-
Updated
-
Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication
UpdatedUpdated -
Updated
-
Updated
-
Updated
-
Nadege Alavoine / jointbert
Apache License 2.0Updated -
Nadege Alavoine / jointbert-media
Apache License 2.0Updated -
Frédéric Tuong / language-c
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
NLP / preprocessing / lnlp-toolkit
Apache License 2.0Updated -
Updated
-
TeXLive / luatex
GNU General Public License v2.0 or laterUpdated -
Updated
-
NLP / Deep Learning / Megatron-DeepSpeed
Apache License 2.0Ongoing research training transformer language models at scale, including: BERT & GPT-2
Updated -
Frédéric Tuong / menhir
GNU Library General Public License v2 onlyAn LR(1) parser generator for OCaml.
Updated -
TeXLive / metapost
GNU General Public License v2.0 or laterUpdated -
Updated