Catalin Hritcu's repositories
fstar-course
Program verification with F* course materials
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
arch-fsharp
Arch Linux PKGBUILD for F# 4.1.18 and 4.1.32
catalin-hritcu.github.io
Catalin's personal webpage
fstar-course-bucharest2016
Course materials
fstar-course-nancy2017
Course materials
fstar-course-paris2017
Course materials
fstar-course-saarbrucken2015
Course materials
fstar-users-on-github
Keeping a list of GitHub repos containing F* files
mintmenu-arch-old
An unmantained package for mintmenu on Arch Linux
RelationExtraction
Inductive relations extraction plugin for Coq