GAAS is an open-source program designed for fully autonomous VTOL(a.k.a flying cars) and drones. GAAS stands for Generalized Autonomy Aviation System.

An enhanced port of Genesis Plus - accurate & portable Sega 8/16 bit emulator

Solutions to the exercises in Concrete Mathematics (2nd edition)

This project has been abandoned.

This repository is outdated and new Boost Note app is available! We've launched a new Boost Note app which supports real-time collaborative writing. https://github.com/BoostIO/BoostNote-App

AirPlay and AirPlay 2 audio player

Crop Yield Prediction with Deep Learning

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available f…

Optional static typing for Python

Airtunes emulator! Shairport is no longer maintained.

Generalized Assignment Problem Solver

An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

IPython Kernel for Lua

A Scheme kernel for Jupyter that can use Python libraries

A jupyter kernel for Wolfram Mathematica

A simple IPython kernel for Hy

Jupyter magics and kernels for working with remote Spark clusters

uBlock Origin - An efficient blocker for Chromium, Firefox, and Safari. Fast and lean.

The official source code repository for the calibre ebook manager

Collection of paper latex template for several computer vision related conference.

TeX Live Utility, a Mac OS GUI for the TeX Live Manager

Apps/CLIs/configs I use on macOS/iOS. Fish, Karabiner, Cursor..

Amazing Alfred Workflows

Alfred workflow to search through my notes and bookmarks

Alfred Workflow to quickly switch between or close iTerm windows, tabs and panes based on title and tty

Open SSH/SFTP/mosh connections from Alfred 3+

Collection of Alfred workflows

🎵🎩 Alfred workflow to control your Spotify library at your fingertips

Alfred workflow to auto-suggest search results from multiple search engines and languages.