-
-
-
-
pl-deadlines Public
Forked from paperswithcode/ai-deadlines⏰ AI conference deadline countdowns
-
-
capless-website Public
Landing page for capture checking.
-
-
-
Warblre Public
Forked from epfl-systemf/WarblreA Coq Mechanization of ECMAScript 2023 Regexes
OCaml Other UpdatedSep 30, 2025 -
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
-
-
-
-
-
-
-
-
spacemacs Public
Forked from syl20bnr/spacemacsA community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
Emacs Lisp UpdatedSep 10, 2024 -
-
-
cs-552-modern-nlp Public
Forked from lars-quaedvlieg/cs-552-modern-nlpRepository for EPFL's CS-552: Modern NLP class
Jupyter Notebook UpdatedMar 13, 2024 -
-
-
-
-
-
-
github-readme-stats Public
Forked from anuraghazra/github-readme-stats⚡ Dynamically generated stats for your github readmes
JavaScript MIT License UpdatedAug 27, 2023 -
-
dotty Public
Research platform for new language concepts and compiler technologies for Scala.
Scala Apache License 2.0 UpdatedMay 18, 2023
{{ message }}