Popular repositories Loading

1. histar histarPublic

   HiStar operating system (not under active development)

   C 33 3

2. go-rpcgen go-rpcgenPublic

   Go 3 1

3. coq coqPublic

   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

4. fsnotify fsnotifyPublic

   Forked from fsnotify/fsnotify

   File system notifications for Go.

   Go 2

5. verus-experiments verus-experimentsPublic

   Rust 2 2

6. bitcoin bitcoinPublic

   Forked from bitcoin/bitcoin

   Bitcoin integration/staging tree

   TypeScript 1