csvoss

onelinerizer

Shamelessly convert any Python 2 script into a terrible single line of code

retroactive

Fun with time travel: Implementing retroactive data structures in Python

traceroute

Trace the path packets take through the Internet, from MIT's servers to any website

coqingbird

To Mock a Mockingbird, formalized in Coq

syndra

Convert high-level facts-about biology into an executable model, using logical deduction (the name is a pun on synthesis + INDRA)

ipa

International Phonetic Alphabet library for Haskell

carbonate-plus

Interactive organic chemistry practice problems

language-urweb

Ur/Web language support (grammars and snippets) for Atom

lucid

A collection of infrastructure and tools for research in neural network interpretability.

theory_of_computation

Formalizing decidability and undecidability of languages.

atom-pug

.pug syntax highlighting for Atom

char-rnn

Multi-layer Recurrent Neural Networks (LSTM, GRU, RNN) for character-level language models in Torch

ClozeCards

ClozeCards Beta.

ctags-status

Atom Editor plugin that shows the class/function/scope name of the current line on the status bar.

engblog

KA Engineering blog.

firesim

FireLight show designer and visualizer

gpt-2

Code for the paper "Language Models are Unsupervised Multitask Learners"

intro-programming

For teaching programming at MIT Splash and MIT Spark

language-python

Python package for Atom

MusicParsed

Multi-column view for ukulele + guitar song chords.

mypy

Optional static typing for Python 2 and 3 (PEP484)

nomic

Automated nomic

openbabel

Open Babel is a chemical toolbox designed to speak the many languages of chemical data.

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

SecularSolstice.github.io

sharing

App for Andrew Critch's rent division code.

smilesDrawer

A small, highly performant JavaScript component for parsing and drawing SMILES strings. Released under the MIT license.

todo-collector

Simple command-line to-do-list app.

typeshed

Collection of library stubs for Python, with static types

zulip

Zulip server - powerful open source group chat