An un-official web client for the defunct streaming service Quibi

Integration of psycopg2 with coroutine libraries

Bittorrent Mainline DHT implementation in java

A Real-Time Monitoring Tool for BitTorrent DHT Traffic

Provides a wrapper to boot your penn-os on hardware!

Convert Haskell source code to Coq source code

Magnificent app which corrects your previous console command.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

A web app designed to help Penn students find classes and make schedules

Resumes generated using the GitHub informations

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.

A C++ code formatter based on Clang Format, for beautiful code with minimal effort in Sublime Text 3

DNS Server that uses Google's DNS-over-HTTPS

Crowdsourced Image Rating Service

Use AWS to stream graphics intensive applications to a raspberrypi.