Lists (3)
Stars
The property-based testing library for Python
Console user interface library for Python (official repo)
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
A simple tool to update bib entries with their official information (e.g., DBLP or the ACL anthology).
dtinth / comic-mono-font
Forked from shannpersand/comic-shannsA legible monospace font... the very typeface you’ve been trained to recognize since childhood
Demo programs for the Talking Head Anime from a Single Image 2: More Expressive project.
A Python library that interfaces with the MediaWiki API. This is a mirror from gerrit.wikimedia.org. Do not submit any patches here. See https://www.mediawiki.org/wiki/Developer_account for contrib…
DSL for experimental design and statistical analysis
GLaDOS voice generator - Windows/Melodyne GUI automation code
A very minimal implementation of the core idea of Hypothesis
This is a web-based component of Cafe Grader. It is written in Ruby, using Ruby on Rails web framework.
Repository for (for now) filing bug reports about DCIC.
A slackbot to compete on mini crosswords (or any other daily challenge).
Document-first text pre-processing mini-language loosely inspired by @-expressions in Racket
WIP: an RRB-tree implementation of a persistent vector in Rhombus
Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation
Sumo tournament scheduling via integer linear programming