Stars
Restore a damaged (truncated) mp4, m4v, mov, 3gp video. Provided you have a similar not broken video.
Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
A formalization of the polymorphic lambda calculus extended with iso-recursive types
Mechanization of Hazelnut, as submitted to POPL 2017
Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
A demo implementation of a simple dependently-typed language