catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP)Bochum, Germany
Pinned Repositories
fstar-io
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
exos-ssr
Solving exercises for SSReflect tutorial from Sept 2010
fstar-course
Program verification with F* course materials
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
FStar
A Proof-oriented Programming Language
micro-policies-coq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
QuickChick
Randomized Property-Based Testing Plugin for Coq
when-good-components-go-bad
Coq formalization for "When Good Components Go Bad" paper
ssprove
A foundational framework for modular cryptographic proofs in Coq
catalin-hritcu's Repositories
catalin-hritcu/fstar-course
Program verification with F* course materials
catalin-hritcu/exos-ssr
Solving exercises for SSReflect tutorial from Sept 2010
catalin-hritcu/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
catalin-hritcu/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
catalin-hritcu/arch-fsharp
Arch Linux PKGBUILD for F# 4.1.18 and 4.1.32
catalin-hritcu/arch-ulex
Arch Linux PKGBUILD for ulex v1.2
catalin-hritcu/catalin-hritcu.github.io
Catalin's personal webpage
catalin-hritcu/FStar
Verification system for effectful programs
catalin-hritcu/fstar-course-bucharest2016
Course materials
catalin-hritcu/fstar-course-nancy2017
Course materials
catalin-hritcu/fstar-course-paris2017
Course materials
catalin-hritcu/fstar-course-saarbrucken2015
Course materials
catalin-hritcu/fstar-users-on-github
Keeping a list of GitHub repos containing F* files
catalin-hritcu/mintmenu-arch-old
An unmantained package for mintmenu on Arch Linux
catalin-hritcu/RelationExtraction
Inductive relations extraction plugin for Coq
catalin-hritcu/rippling
Sean Wilson's rippling plugin.