Michaël Cadilhac's repositories
mattermost-plugin-inline-latex
Inline LaTeX Plugin
app-s2p
A stream editor
automata-exchange
Open Problems contributed to Automata Exchange
AutomataTutorUpdates
Updates to the AutomataTutor source code as part of Summer 2020 undergrad work. Original source: https://github.com/AutomataTutor
campusconnect-roster-photos
Collection of scripts & files to retrieve photos from CampusConnect rosters.
cgm-remote-monitor
nightscout web monitor
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
GAS-ICS-Sync
A Google Apps Script for syncing ICS/ICAL files faster than the current Google Calendar speed
hexo-renderer-org
Hexo renderer plugin for emacs org-mode
latexmkdemo
Demo of latexmk for Highlights 22
downsets
Several implementations of downsets in C++
mattermost-webapp
Webapp of Mattermost server: https://github.com/mattermost/mattermost-server
mc-xml
XML to TeX to D2L for multiple-choice quizzes
oink
Oink, an implementation of modern parity game solvers
org-export
Convenience tool to export org files from command line.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
readline-force-write-history
When loaded using LD_PRELOAD, this forces readline sessions to be stored in a history file provided as an env variable.
tfbrew
Yet another homebrewing control system. Free as in freedom to make free beer.
vectors
An experimental library of implementations of fixed-size vectors in C++.
vicious
Vicious is a modular widget library for the "awesome" window manager.
xclipsync
Trivial tool for synchronizing the clipboard between two X11 sessions
xorg-xf86-input-libinput
X.org xf86-input-libinput driver.
xournalpp
Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input from devices such as Wacom Tablets.