catalin-hritcu

Catalin Hritcu's repositories

fstar-course

Program verification with F* course materials

Language:F*Apache-2.012 40

exos-ssr

Solving exercises for SSReflect tutorial from Sept 2010

Language:Coq2 20

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonNOASSERTION1 10

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellCC0-1.01 10

arch-fsharp

Arch Linux PKGBUILD for F# 4.1.18 and 4.1.32

Language:Shell020

arch-ulex

Arch Linux PKGBUILD for ulex v1.2

Language:JavaScript020

catalin-hritcu.github.io

Catalin's personal webpage

Language:SMT020

FStar

Verification system for effectful programs

Language:F*Apache-2.0010

fstar-course-bucharest2016

Course materials

Language:Makefile020

fstar-course-nancy2017

Course materials

Language:Makefile020

fstar-course-paris2017

Course materials

Language:Makefile020

fstar-course-saarbrucken2015

Course materials

Language:Makefile020

fstar-users-on-github

Keeping a list of GitHub repos containing F* files

020

mintmenu-arch-old

An unmantained package for mintmenu on Arch Linux

Language:Shell020

RelationExtraction

Inductive relations extraction plugin for Coq

Language:OCamlGPL-3.0020

rippling

Sean Wilson's rippling plugin.

Language:CoqLGPL-2.1020