OCamlPro / tzscanLinks
The TzScan block explorer for Tezos
☆12Updated 6 years ago
Alternatives and similar repositories for tzscan
Users that are interested in tzscan are comparing it to the libraries listed below
Sorting:
- A test execution engine for Michelson smart contracts.☆17Updated 6 years ago
- ☆14Updated 10 months ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- A debugger for Michelson☆15Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last year
- Compiler for stack manipulation in Michelson☆15Updated 6 years ago
- Bitcoin data-structures library for OCaml☆43Updated 5 years ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- A smart contract language for Tezos☆12Updated 3 years ago
- HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)☆12Updated 10 months ago
- Type-safe bitcoin full-node☆19Updated 7 years ago
- Tezos smart contract & dapp development toolkit☆67Updated 2 years ago
- Elliptic Curves Cryptography for OCaml☆12Updated 5 years ago
- Contract Metadata Viewer on Tezos☆25Updated 10 months ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Application-layer smart contracts & tooling.☆10Updated 6 years ago
- Simple tool to aggregates contribution statistics for GitHub organisations☆10Updated 7 years ago
- Check bcd instead☆20Updated 3 years ago
- Strongly-typed OCaml overlay for Go-Ethereum (geth)☆11Updated 4 years ago
- Contract examples☆10Updated 3 years ago
- ☆73Updated 7 months ago
- A few smart contracts☆25Updated 4 years ago
- Tezos Block Explorer by Blockwatch☆18Updated 3 years ago
- Xen core platform libraries for MirageOS☆18Updated 5 months ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 4 years ago
- working with coq and tezos☆28Updated 7 years ago
- Password based key derivation functions from PKCS#5, RFC 2898☆21Updated last year
- SuperOptimization based Rule Generation☆12Updated 5 years ago
- A MirageOS unikernel acting as secondary DNS server, provisioning certificate signing requests to valid certificates using let's encrypt☆12Updated 4 months ago
- A PoPuLaToR for a PeePhoLe opTimizeR☆12Updated 3 years ago