Hugo's repositories
cours-segtree
Stage France-IOI Toussaint 2023
Language:Python000
Language:C++000
Language:C++000
idne
:gem: Codeforces submit command line tool
Language:Python000
judge-server
Judging backend server for the DMOJ online judge.
Language:PythonAGPL-3.0000
Language:Python000
kickstart.nvim
A launch point for your personal nvim configuration
Language:LuaMIT000
Language:Vim Snippet000
Language:OCaml000
zrun
A Coiteration-based Executable Synchronous Semantics.
Language:OCamlNOASSERTION000