Stars
AI-assisted verification of Dafny Programs
Code for DeepCubeA, a Deep Reinforcement Learning algorithm that can learn to solve the Rubik's cube.
A source-to-source compiler for automatic parallelization of C programs through code annotation.
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