GitHub repository: raghavmecheri/viper
Primary language: OCaml
Description: An amalgamation of cool stuff from programming languages we like