michaelcadilhac Goto Github PK

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

csc-sys-grading

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.

downsets

Several implementations of downsets in C++

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

jimapa

latexmkdemo

Demo of latexmk for Highlights 22

mattermost-plugin-inline-latex

Inline LaTeX Plugin

mattermost-server

Open source Slack-alternative in Golang and React - Mattermost

mattermost-webapp

Webapp of Mattermost server: https://github.com/mattermost/mattermost-server

mc-xml

XML to TeX to D2L for multiple-choice quizzes

meta-bdd

oink

Oink, an implementation of modern parity game solvers

org-export

Convenience tool to export org files from command line.

org-setups

papis

Powerful and highly extensible command-line based document and bibliography manager.

pdfannot

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

qtile

A small, flexible, scriptable tiling window manager written in Python

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.

seafile

High performance file syncing and sharing, with also Markdown WYSIWYG editing, Wiki, file label and other knowledge management features.

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.