Popular repositories Loading

1. histar histar Public

   HiStar operating system (not under active development)

   C 34 3

2. rocq-warm rocq-warm Public

   Python 5 1

3. go-rpcgen go-rpcgen Public

   Go 3 1

4. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 2

5. fsnotify fsnotify Public

   Forked from fsnotify/fsnotify

   File system notifications for Go.

   Go 2

6. verus-experiments verus-experiments Public

   Rust 2 2