Programmatic Representation Learning with Language Models

Rust bindings for the Python interpreter

AI-assisted verification of Dafny Programs

GHOSTS dataset

A Python implementation of mustache

A scalable abstraction learning library

Code for DeepCubeA, a Deep Reinforcement Learning algorithm that can learn to solve the Rubik's cube.

A Java program synthesizer.

A source-to-source compiler for automatic parallelization of C programs through code annotation.

Cranelift code generator

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

A playful CS 101 course designed for children with a novel approach

Flake8 plugin for Vim