Stars
tombonez / noTunes 8000
A simple macOS application that will prevent iTunes or Apple Music from launching.
Move and resize windows on macOS with keyboard shortcuts and snap areas
A symbolic model checker for Dynamic Epistemic Logic.
Zotero plugin providing some additional editing features
Zotero plugin that links your Markdown database to Zotero. Jump directly from Zotero Items to connected Markdown files. Automatically tags Zotero Items so you can easily see which papers you've mad…
Make Zotero effective for us LaTeX holdouts
An interactive cheatsheet tool for the command-line
A Simple and Versatile Framework for Object Detection and Instance Recognition
An Open Source Machine Learning Framework for Everyone
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
Resumes generated using the GitHub informations