Pinned Repositories
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
buddy
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.
mattermost-plugin-inline-latex
Inline LaTeX Plugin
seafile
High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features.
michaelcadilhac's Repositories
michaelcadilhac/seafile
High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features.
michaelcadilhac/app-s2p
A stream editor
michaelcadilhac/automata-exchange
Open Problems contributed to Automata Exchange
michaelcadilhac/AutomataTutorUpdates
Updates to the AutomataTutor source code as part of Summer 2020 undergrad work. Original source: https://github.com/AutomataTutor
michaelcadilhac/buddy
michaelcadilhac/campusconnect-roster-photos
Collection of scripts & files to retrieve photos from CampusConnect rosters.
michaelcadilhac/cgm-remote-monitor
nightscout web monitor
michaelcadilhac/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.
michaelcadilhac/hexo-renderer-org
Hexo renderer plugin for emacs org-mode
michaelcadilhac/latexmkdemo
Demo of latexmk for Highlights 22
michaelcadilhac/ds2-revision-cards
Revision cards for Data Structures II, inspired by Algorithms, 4th edition, by Robert Sedgewick and Kevin Wayne.
michaelcadilhac/game-benchmarks
michaelcadilhac/mattermost-webapp
Webapp of Mattermost server: https://github.com/mattermost/mattermost-server
michaelcadilhac/mc-xml
XML to TeX to D2L for multiple-choice quizzes
michaelcadilhac/meta-bdd
michaelcadilhac/mkplot
A Python script to create cactus and scatter plots based on matplotlib
michaelcadilhac/oink
Oink, an implementation of modern parity game solvers
michaelcadilhac/org-export
Convenience tool to export org files from command line.
michaelcadilhac/org-setups
michaelcadilhac/posets
Several implementations of downsets in C++
michaelcadilhac/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
michaelcadilhac/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.
michaelcadilhac/tfbrew
Yet another homebrewing control system. Free as in freedom to make free beer.
michaelcadilhac/vectors
An experimental library of implementations of fixed-size vectors in C++.
michaelcadilhac/wedl
Small command line utility to download from https://wetransfer.com
michaelcadilhac/Weylus
Use your tablet as graphic tablet/touch screen on your computer.
michaelcadilhac/xclipsync
Trivial tool for synchronizing the clipboard between two X11 sessions
michaelcadilhac/xorg-xf86-input-libinput
X.org xf86-input-libinput driver.
michaelcadilhac/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.
michaelcadilhac/zoom2panopto