Jean-Serge Monbailly's starred repositories
mediawiki-to-markdown
Convert MediaWiki pages to GitHub flavored Markdown
ppx_debugger
A small interactive debugger for OCaml (using PPX)
sched-deadline-spy
Kernel module which, for each SCHED_DEADLINE scheduled process, creates a new readable /proc/sched_deadline/[PID], showing tasks' execution information