Stars
Empowering everyone to build reliable and efficient software.
An extremely fast Python linter and code formatter, written in Rust.
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
The web framework for content-driven websites. ⭐️ Star to support our work!
A suite of Monitoring Plugins (formerly known as nagios-plugins)
A game designed to let you show off your code-fu by solving problems in the least number of characters.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
curses based roost, irccloud & zulip client (a snipe is a kind of bird)
A Coq IDE build on top of Proof General's Coq mode
A better site for song chords with no ads and no scrolling.
Science-based games - a collaborative list
Simple tracing (mark and sweep) garbage collector for Rust
Shamelessly convert any Python 2 script into a terrible single line of code
Repository for the QED interactive text and possible extensions
General-Purpose Computer Algebra System as an EDSL in Haskell
JavaScript interface to ca.mit.edu and ca.csail.mit.edu
An institutional/enterprise-scale distributed real-time messaging and notification system
A web-based interface for the Zephyr instant messing protocol
Python bindings for the Zephyr messaging library
A geometry game based on Euclid's Elements.