Generic purpose Just-In-time compiler for Rust.

Are We Fast Yet? Comparing Language Implementations with Objects, Closures, and Arrays

Papers from the computer science community to read and discuss.

Source code for my blog series about Conway's Game of Life

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…