Achieve state of the art inference performance with modern accelerators on Kubernetes

A set of tools to create synthetically-generated data from documents

A book-in-progress about the Linux kernel and its insides.

A curated list of speech and natural language processing resources

A collection of debugging stories. PRs welcome (sorry for the backlog) :-)

A collection of postmortems. Sorry for the delay in merging PRs!

Rewind is an intelligent archivist.

A curated list of engineering blogs

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Simple HTML/CSS/jQuery gallery: left and right buttons, loops images, nothing more

An implementation of Leibniz' encryption scheme in Python 2

An implementation of Leibniz' encryption scheme in PHP/HTML/JS in the spirit of the MVC pattern

Code for PittScheduler. Written (terribly) in 2008 or 2009

Submission for 2012 Mathematical Contest in Modeling

Linux kernel source tree

Model constructed for the 2011 Mathematical Contest in Modeling

Simulation of LTP/LTD in neural networks

A professional front-end template for building fast, robust, and adaptable web apps or sites.

Modernizr is a JavaScript library that detects HTML5 and CSS3 features in the user’s browser.

jQuery JavaScript Library