Stars
A declarative, efficient, and flexible JavaScript library for building user interfaces.
The web framework for content-driven websites. ⭐️ Star to support our work!
A game designed to let you show off your code-fu by solving problems in the least number of characters.
An extremely fast Python linter and code formatter, written in Rust.
Simple tracing (mark and sweep) garbage collector for Rust
Repository for the QED interactive text and possible extensions
Science-based games - a collaborative list
JavaScript interface to ca.mit.edu and ca.csail.mit.edu
A better site for song chords with no ads and no scrolling.
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]
Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.
Shamelessly convert any Python 2 script into a terrible single line of code
A Coq IDE build on top of Proof General's Coq mode
A geometry game based on Euclid's Elements.
General-Purpose Computer Algebra System as an EDSL in Haskell
Email Security Policy Patch (Based on CM 10.1 & CM 10.2)
curses based roost, irccloud & zulip client (a snipe is a kind of bird)
An institutional/enterprise-scale distributed real-time messaging and notification system