Popular repositories Loading

1. lean_dal lean_dal Public

   DAL crypto in Lean

   Lean

2. tzkt tzkt Public

   Forked from baking-bad/tzkt

   😼 Awesome Tezos blockchain indexer and API

   C#

3. tezos-k8s tezos-k8s Public

   Forked from tacoinfra/tezos-k8s

   The Tezos on Kubernetes project

   Python

4. lean_zodal lean_zodal Public

   Lean proofs about ZODA-based DAL

   Lean

5. rocq-zodal rocq-zodal Public

   Rocq proofs about ZODA-based DAL

   Rocq Prover