repos
29
ecosystems
10
languages
4
commits
17,447
─── top repos · by commits
─── repositories
29 totalGithub test mirror of the Octez software. Please do not submit pull-requests here!
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Clone of tezos from https://gitlab.com/tezos/tezos.git with FreeBSD updates.
Tezos running on Multicore OCaml
Tezos running on Multicore OCaml
mirror of tezos
A mirror of https://gitlab.com/marigold/tezos
Project1 on 31-05-2019
Patched version of Ligo used to compile Checker
The LIGO smart-contract language
Fork of https://gitlab.com/tezos/opam-repository with duniverse overlays.
A self-amending cryptographic ledger
A self-amending cryptographic ledger
HACL*, a formally verified cryptographic library written in F*
HACL*, a formally verified cryptographic library written in F*
─── peer developers
─── ecosystems
─── languages
- OCaml23
- Shell2
- F*2
- Rust1
─── subscriber view
Unlock the full view of raphael-proust
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.