hugopm

Pinned Repositories

algorea-webdriver
Language:Python00
CompetitiveProgramming
Language:C++00
cours-segtree
Stage France-IOI Toussaint 2023
Language:C++1 1 00
hl
Language:C++0 2 00
idne
:gem: Codeforces submit command line tool
Language:Python0 1 00
judge-server
Judging backend server for the DMOJ online judge.
Language:Python00

hugopm's Repositories

hugopm/cours-segtree
Stage France-IOI Toussaint 2023
Language:C++1 1 00
hugopm/algorea-webdriver
Language:Python00
hugopm/CompetitiveProgramming
Language:C++00
hugopm/hl
Language:C++0 2 00
hugopm/idne
:gem: Codeforces submit command line tool
Language:Python0 1 00
hugopm/judge-server
Judging backend server for the DMOJ online judge.
Language:Python00
hugopm/meml3
Language:Python00
hugopm/kickstart.nvim
A launch point for your personal nvim configuration
Language:Lua
hugopm/snippets
Language:Vim Snippet
hugopm/tp-semantics
Language:OCaml
hugopm/zrun
A Coiteration-based Executable Synchronous Semantics.
Language:OCaml