repos
31
ecosystems
9
languages
6
commits
1,989
─── top repos · by commits
─── repositories
31 totalGithub test mirror of the Octez software. Please do not submit pull-requests here!
HACL*, a formally verified cryptographic library written in F*
HACL*, a formally verified cryptographic library written in F*
Next-generation Proof-generating Virtual Machine for the Tezos Smart Rollups
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
KreMLin is a tool for extracting low-level F* programs to readable C code
The Cryspen HACL Distribution
Tezos running on Multicore OCaml
Tezos running on Multicore OCaml
Clone of tezos from https://gitlab.com/tezos/tezos.git with FreeBSD updates.
mirror of tezos
A mirror of https://gitlab.com/marigold/tezos
This repo mirrors https://gitlab.com/marigold/kernel-gallery and contains infra tooling/scripts to automate the deployment of smart rollups projects on kubernetes.
JavaScript runtime and compute platform build on Tezos Smart Rollups
JavaScript runtime and compute platform build on Mavryk Smart Rollups
Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)
Fork of https://gitlab.com/tezos/opam-repository with duniverse overlays.
Utility crates for interacting with Mavryk types (e.g. for Smart Rollup kernels)
─── peer developers
─── ecosystems
─── languages
- OCaml16
- Rust5
- F*2
- Shell2
- C1
- Assembly1
─── subscriber view
Unlock the full view of victor-dumitrescu
- · 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.