Popular repositories Loading

1. histar histar Public

   HiStar operating system (not under active development)

   C 28 2

2. go-rpcgen go-rpcgen Public

   Go 3 1

3. coq coq Public

   Forked from coq/coq

   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 fsnotify Public

   Forked from fsnotify/fsnotify

   File system notifications for Go.

   Go 2

5. bitcoin bitcoin Public

   Forked from bitcoin/bitcoin

   Bitcoin integration/staging tree

   TypeScript 1

6. go-algorand go-algorand Public

   Forked from algorand/go-algorand

   Algorand's official implementation in Go.

   Go 1