repos
32
ecosystems
12
languages
4
commits
1,580
─── top repos · by commits
─── repositories
32 totalThe LIGO smart-contract language
Patched version of Ligo used to compile Checker
Github test mirror of the Octez software. Please do not submit pull-requests here!
Tezos running on Multicore OCaml
mirror of tezos
Tezos running on Multicore OCaml
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.
A mirror of https://gitlab.com/marigold/tezos
Project1 on 31-05-2019
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
(DEPRECATED) new app is available here : https://github.com/LedgerHQ/app-tezos
Ledger app for Tezos
Ledger app for Tezos
A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson
Ledger app for Tezos
A high-level language for Tezos with OCaml syntax, with a decompiler from Michelson
Ledger app for Tezos
Agda is a dependently typed programming language / interactive theorem prover.
─── peer developers
─── ecosystems
─── languages
- OCaml24
- C3
- Coq1
- Haskell1
─── subscriber view
Unlock the full view of tomjack
- · 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.