cristiantroy Goto Github PK

apalache

APALACHE: symbolic model checker for TLA+ and Quint

blockscout

Blockchain explorer for Ethereum based network and a tool for inspecting and analyzing EVM based blockchains.

contracts

Contracts repository for The Graph protocol

cristiantroy

Config files for my GitHub profile.

crypto

Cryptographic primitives used in Polygon Miden rollup

darc

Decentralized Autonomous Regulated Company (DARC), a company virtual machine that runs on any EVM-compatible blockchain, with on-chain law system, multi-level tokens and dividends mechanism.

eips

The Ethereum Improvement Proposal repository

epibook.github.io

Publishes to Github Pages

eth-docker

Docker automation for Ethereum nodes

ethstaker-guides

example

execution-spec-tests

A Python framework and collection of test cases to generate test vectors for Ethereum execution clients

explorer-registry

Data registry for the zenode.app Explorer.

go-ethereum

Official Go implementation of the Ethereum protocol

hwi

Bitcoin Hardware Wallet Interface

lnd

Lightning Network Daemon ⚡️

lnpbps

LNP/BP standards for bitcoin layer 2 & 3 protocols

miden-node

Reference implementation of the node for the Polygon Miden rollup

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

namada-staking

noir-base64

Base64 encoding for Aztec's noir language

noname

Noname: a programming language to write zkapps

o1js

TypeScript framework for zk-SNARKs and zkApps

opentimestamps-server

OpenTimestamps Calendar Server

peerswap

polkadot-sdk

The Parity Polkadot Blockchain SDK

rgb-std

RGB standard libs for WASM & low-level integrations (no FS/networking)

sedge

A one-click setup tool for PoS network/chain validators and nodes.

sppark

Zero-knowledge template library

taproot-assets

A layer 1 daemon, for the Taproot Assets Protocol specification, written in Go (golang)