85-day current streak·85-day longest streak
Yoichi Hirai I'm active in Clean and evm-asm.
-
reasonable-manifesto ★ PINNED
Reasonable Engineering Manifest
★ 3 4mo agoExplain → -
awesome-ethereum-virtual-machine
Ethereum Virtual Machine Awesome List
★ 853 3mo agoExplain → -
bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
OCaml ★ 324 4y agoExplain → -
ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
★ 295 4y agoExplain → -
eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle ★ 243 4y agoExplain → -
coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
OCaml ★ 227 11y agoExplain → -
fp-ethereum ⑂
Functional Programming for Ethereum: Intro and Resources
★ 66 9y agoExplain → -
evmverif
An EVM code verification framework in Coq
Coq ★ 44 9y agoExplain → -
dry-analyzer
Dr. Y's Ethereum Contract Analyzer
Coq ★ 41 4y agoExplain → -
vmtrace_visualizer
A program that annotates a vm trace with dataflow information
Ruby ★ 34 4y agoExplain → -
ethereum-word-list
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
★ 22 4y agoExplain → -
gohantabeyo
Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.
Ruby ★ 15 15y agoExplain → -
cbc_casper
Isabelle formalization of binary consensus
Isabelle ★ 9 9y agoExplain → -
patchwork ⑂
social writing tool
Ruby ★ 6 17y agoExplain → -
record
No description.
★ 6 4y agoExplain → -
neta
neta notes
HTML ★ 5 8y agoExplain → -
rlp-ocaml
RLP serialization for OCaml
OCaml ★ 4 8y agoExplain → -
practice
No description.
JavaScript ★ 3 8y agoExplain → -
kissdb-rust
kissdb ported to rust
Rust ★ 3 11y agoExplain → -
sql2lisp
No description.
Verilog ★ 3 16y agoExplain → -
verbose-code-reading
Verboselly Logged Code Reading
★ 2 5y agoExplain → -
happstack-auth ⑂
An auth module to provide drop-in session capability with Happstack.
★ 2 17y agoExplain → -
gitit ⑂
A wiki using HAppS, pandoc, and git
Haskell ★ 2 16y agoExplain → -
scriptaculous ⑂
script.aculo.us is an open-source JavaScript framework for visual effects and interface behaviours.
JavaScript ★ 2 17y agoExplain → -
pieces_old ⑂
pieces: a fork from instiki.
Ruby ★ 2 17y agoExplain → -
surreal
surreal numbers in Coq
Verilog ★ 2 14y agoExplain → -
token_why3
A Why3 modelling of a token contract
Coq ★ 2 9y agoExplain → -
proofmarket
No description.
★ 2 13y agoExplain → -
kietter
kietter
Ruby ★ 2 14y agoExplain → -
js-graph-it-with-containers
a fork of http://js-graph-it.sourceforge.net/
JavaScript ★ 2 13y agoExplain → -
verifereum ⑂
Prove functional correctness of Ethereum smart contracts in higher-order logic
★ 1 1y agoExplain → -
tracks ⑂
TODO waits for TODO on Tracks, a GTD(TM) web application, built with Ruby on Rails
Ruby ★ 1 17y agoExplain → -
salary-nego
Salary negotiation app on the Nexus zkVM
Rust ★ 1 2y agoExplain → -
thesis
No description.
★ 1 13y agoExplain → -
bamboo-tests ⑂
Little prost to test bamboo contracts with mocha and web3js
JavaScript ★ 1 8y agoExplain → -
go-ethereum ⑂
Official golang implementation of the Ethereum protocol
Go ★ 1 8y agoExplain → -
opam-repository ⑂
Main public package repository for OPAM, the source package manager of OCaml.
OCaml ★ 1 8y agoExplain → -
ethereum-formal-list
A list of formal method applications on smart contracts
★ 1 9y agoExplain → -
yellowpaper ⑂
The "Yellow Paper": Ethereum's formal specification
TeX ★ 1 5y agoExplain → -
notes ⑂
Some random notes
JavaScript ★ 1 9y agoExplain → -
smart-contract ⑂
slock smart contract written in solidity
JavaScript ★ 1 10y agoExplain → -
waitfree
A combinator library for asynchronous waitfree computation among forkIO threads.
Haskell ★ 1 15y agoExplain → -
htodo
a todo manager
Haskell ★ 1 13y agoExplain → -
undecidable
undecidability club's web page
★ 1 15y agoExplain → -
async_lazy_rpc
No description.
Haskell ★ 1 16y agoExplain → -
haskell-twitter
No description.
★ 1 16y agoExplain → -
game
combinatorial game
Verilog ★ 1 14y agoExplain → -
taocp_in_coq
taocp_in_coq
★ 1 14y agoExplain → -
CLTT
No description.
Verilog ★ 1 15y agoExplain → -
execution-specs ⑂
Specification for the Execution Layer. Tracking network upgrades.
★ 0 7d agoExplain → -
pirapira
No description.
★ 0 1mo agoExplain → -
Dippy ⑂
🐤 Less permission fatigue, more momentum. Dippy knows what’s safe to run and keeps Claude on track when plans change.
★ 0 2mo agoExplain → -
ragu ⑂
Rust language proof-carrying data framework
★ 0 2mo agoExplain → -
CompPoly ⑂
A computable model of Polynomials in Lean.
★ 0 3mo agoExplain → -
verified-zkevm.org ⑂
No description.
★ 0 1mo agoExplain → -
lean4 ⑂
Lean 4 programming language and theorem prover
Lean ★ 0 5mo agoExplain → -
mathlib4 ⑂
The math library of Lean 4
★ 0 6mo agoExplain → -
ItaLean2025 ⑂
Repository hosting the resources for the conference "ItaLean 2025", held in Bologna, Italy, December 9–12, 2025.
★ 0 6mo agoExplain → -
iris-lean ⑂
Lean 4 port of Iris, a higher-order concurrent separation logic framework
Lean ★ 0 6mo agoExplain → -
lean-mlir ⑂
A minimal development of SSA theory
★ 0 7mo agoExplain → -
acl2-jolt ⑂
No description.
★ 0 7mo agoExplain → -
garden ⑂
Make your zero-knowledge circuits safe with formal verification! 🍀
★ 0 7mo agoExplain → -
cpp2v ⑂
Formalization of C++ for verification purposes.
Rocq Prover ★ 0 8mo agoExplain → -
lifepicker
A randomized activity picker for your 5 minites
Python ★ 0 6y agoExplain → -
truffleframework.github.io ⑂
The Truffle Framework Website
HTML ★ 0 9y agoExplain → -
solidity ⑂
The Solidity Contract-Oriented Programming Language
C++ ★ 0 9y agoExplain → -
clean ⑂ ▣
Lean circuit DSL
★ 0 11mo agoExplain → -
apollo ⑂
Modern and minimalistic blog theme.
★ 0 1y agoExplain → -
parity-signer ⑂
No description.
JavaScript ★ 0 8y agoExplain → -
ethabi ⑂
No description.
Rust ★ 0 8y agoExplain → -
base ⑂
Standard library for OCaml
★ 0 6y agoExplain → -
paritydb ⑂
No description.
Rust ★ 0 8y agoExplain → -
taskwarrior ⑂
Taskwarrior - Commandline Task Management
★ 0 6y agoExplain → -
wasm-tests ⑂
No description.
Rust ★ 0 8y agoExplain → -
pwasm-token-example ⑂
A simple ERC-20 compatible token contract written in Rust compiled into WebAssembly
Rust ★ 0 8y agoExplain → -
pwasm-test ⑂
pwasm-test is a set of tools to make it easy to test internal logic of contracts written using pwasm-std
Rust ★ 0 8y agoExplain → -
pwasm-std ⑂
WASM contracts standard library for Rust
Rust ★ 0 8y agoExplain → -
pwasm-abi ⑂
Parity WASM Abi (Legacy and new)
Rust ★ 0 8y agoExplain → -
parity-deploy ⑂
Parity deployment script.
Shell ★ 0 8y agoExplain → -
parity ⑂
Fast, light, robust Ethereum implementation
Rust ★ 0 8y agoExplain → -
k ⑂
K Framework Tools 5.0
★ 0 6y agoExplain → -
viper ⑂
New experimental programming language
Python ★ 0 9y agoExplain → -
scenario-player ⑂
No description.
★ 0 6y agoExplain → -
cedille ⑂
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
★ 0 6y agoExplain → -
verisol ⑂
A formal verifier and analysis tool for Solidity Smart Contracts
C# ★ 0 7y agoExplain → -
test-environment-scripts ⑂
A collection of scripts used to bootstrap a test raiden envirnoment. (gist is harder to update)
Python ★ 0 7y agoExplain → -
raiden-contracts ⑂
Raiden Network Smart Contracts
Solidity ★ 0 6y agoExplain → -
raiden-services ⑂
Development of the Raiden Monitoring and Pathfinding Services
Python ★ 0 6y agoExplain → -
echidna ⑂
Ethereum fuzz testing framework
Haskell ★ 0 8y agoExplain → -
spec ⑂
Spec of the Raiden Network protocol
Makefile ★ 0 6y agoExplain → -
raiden ⑂
Raiden Network
Python ★ 0 6y agoExplain → -
raiden-libs ⑂
Useful tools for Raiden and Auxiliary services
Python ★ 0 7y agoExplain → -
raiden-monitoring-service ⑂
Raiden monitoring service
Python ★ 0 8y agoExplain → -
raiden-pathfinding-service ⑂
Repo for the Raiden Pathfinding Service
Python ★ 0 7y agoExplain → -
git-repo-sample
a sample for checking github features
★ 0 7y agoExplain → -
hive ⑂
Ethereum end-to-end test harness
Go ★ 0 8y agoExplain → -
bitcoin ⑂
Bitcoin Core integration/staging tree
TypeScript ★ 0 11y agoExplain → -
contracts ⑂
A bin for all the contracts we do
★ 0 8y agoExplain → -
certifier-website ⑂
Certifier Website
JavaScript ★ 0 8y agoExplain → -
eth-acl2 ⑂
An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
Common Lisp ★ 0 8y agoExplain → -
ens ⑂
Implementations for registrars and local resolvers for the Ethereum Name Service
★ 0 9y agoExplain → -
special-octo-journey
No description.
★ 0 8y agoExplain → -
EIPs ⑂
The Ethereum Improvement Proposal
★ 0 8y agoExplain → -
snarky ⑂
OCaml DSL for verifiable computation
C++ ★ 0 6y agoExplain → -
evm-semantics ⑂
K Semantics of the Ethereum Virtual Machine (EVM)
Makefile ★ 0 8y agoExplain → -
testeth ⑂
One consensus test generator
C++ ★ 0 8y agoExplain → -
research ⑂
No description.
TeX ★ 0 8y agoExplain → -
sharding ⑂
No description.
Python ★ 0 8y agoExplain → -
homestead-guide ⑂
No description.
Python ★ 0 8y agoExplain → -
secp256k1 ⑂
Optimized C library for EC operations on curve secp256k1
C ★ 0 8y agoExplain → -
skeleton ⑂
A skeleton dapp
JavaScript ★ 0 8y agoExplain → -
second-price-auction ⑂
A Dutch auction crowdsale dapp
JavaScript ★ 0 8y agoExplain → -
parity-bridge ⑂
simple bridge between ethereum foundation and kovan networks
Rust ★ 0 8y agoExplain → -
operationsproxy ⑂
A dapp for the operations proxy contract
JavaScript ★ 0 8y agoExplain → -
homebrew-paritytech ⑂
Homebrew tap for ethcore
Ruby ★ 0 8y agoExplain → -
testdapp ⑂
Test dapp
JavaScript ★ 0 8y agoExplain → -
jsonrpc ⑂
Rust JSON-RPC implementation
Rust ★ 0 8y agoExplain → -
bigint ⑂
No description.
Rust ★ 0 8y agoExplain → -
js-precompiled ⑂
Pre-compiled JS files for the Parity UI. Automatically populated from CI.
JavaScript ★ 0 8y agoExplain → -
js-jsonrpc ⑂
JS interface definitions for all rpc methods supported by parity
JavaScript ★ 0 8y agoExplain → -
js-ledger ⑂
JS interface library for the Ledger
JavaScript ★ 0 8y agoExplain → -
js-shapeshift ⑂
JS interface to the ShapeShift APIs
JavaScript ★ 0 8y agoExplain → -
oo7-react ⑂
The Reactive Bond API
JavaScript ★ 0 8y agoExplain → -
oo7-parity ⑂
Bond API for use with Parity
JavaScript ★ 0 8y agoExplain → -
parity-wasm ⑂
WebAssembly serialization/deserialization in rust
WebAssembly ★ 0 8y agoExplain → -
oo7 ⑂
The Bond API.
JavaScript ★ 0 8y agoExplain → -
primitives ⑂
No description.
Rust ★ 0 8y agoExplain → -
transaction-scheduler ⑂
Ethereum transaction scheduler service.
Rust ★ 0 8y agoExplain → -
parity-extension ⑂
Parity Chrome Extension
JavaScript ★ 0 8y agoExplain → -
parity-reactive-ui ⑂
The Bond-based Parity Reactive UI library
JavaScript ★ 0 8y agoExplain → -
js-etherscan ⑂
JS library for interfacing to etherscan.io
JavaScript ★ 0 8y agoExplain → -
js-shared ⑂
JS shared non-ui components for the Parity wallet and dapps
JavaScript ★ 0 8y agoExplain → -
js-ui ⑂
Shared UI components for the Parity wallet & dapps
JavaScript ★ 0 8y agoExplain → -
plugin-signer-account ⑂
Signer plugin for Parity accounts
JavaScript ★ 0 8y agoExplain → -
plugin-signer-hardware ⑂
Signer plugin for hardware devices
JavaScript ★ 0 8y agoExplain → -
plugin-signer-default ⑂
Default Signer plugin, keyfile handling
JavaScript ★ 0 8y agoExplain → -
plugin-signer-qr ⑂
Signer plugin to handle QR codes
JavaScript ★ 0 8y agoExplain → -
dapp-vaults ⑂
Dapp to manage Parity Vaults
JavaScript ★ 0 8y agoExplain → -
dapp-addresses ⑂
Dapp for the Parity default addressbook view
JavaScript ★ 0 8y agoExplain → -
dapp-address ⑂
Dapp for Parity default address info view
JavaScript ★ 0 8y agoExplain → -
dapp-contract ⑂
Dapp for interacting with a contract
JavaScript ★ 0 8y agoExplain → -
dapp-contracts ⑂
Dapp for viewing a list of available contracts
JavaScript ★ 0 8y agoExplain → -
dapp-dapp-accounts ⑂
Dapp for managing the accounts visible to dapps
JavaScript ★ 0 8y agoExplain → -
dapp-dapp-methods ⑂
Dapp to manage the methods/permissions available to all dapps
JavaScript ★ 0 8y agoExplain → -
dapp-dapp-visible ⑂
Dapp to select the visible dapps (available from the network) in Parity
JavaScript ★ 0 8y agoExplain → -
dapp-develop ⑂
Dapp for contract development
JavaScript ★ 0 8y agoExplain → -
dapp-web ⑂
A dapp for loading other dapps via embedded frame
JavaScript ★ 0 8y agoExplain → -
js-abi ⑂
JS Parity ABI library, part of parity.js
JavaScript ★ 0 8y agoExplain → -
dapp-home ⑂
Dapp for an overview page for Parity
JavaScript ★ 0 8y agoExplain → -
dapp-settings ⑂
Dapp for managing Parity settings
JavaScript ★ 0 8y agoExplain → -
dapp-status ⑂
Dapp for viewing the Parity node status
JavaScript ★ 0 8y agoExplain → -
dapp-wallet ⑂
Dapp for interacting with multisig wallets
JavaScript ★ 0 8y agoExplain → -
dapp-chaindeploy ⑂
Dapp for doing a simple base contract deployment to a new chain
JavaScript ★ 0 8y agoExplain → -
dapp-console ⑂
A JavaScript console Dapp
JavaScript ★ 0 8y agoExplain → -
dapp-dappreg ⑂
Dapp for registering Dapps with the registry
JavaScript ★ 0 8y agoExplain → -
dapp-githubhint ⑂
Dapp for interfacing with the GitHub Hint registry
JavaScript ★ 0 8y agoExplain → -
dapp-localtx ⑂
Dapp for viewing the local transaction queue
JavaScript ★ 0 8y agoExplain → -
dapp-registry ⑂
Dapp for interfacing with the Registry contract
JavaScript ★ 0 8y agoExplain → -
dapp-signaturereg ⑂
Dapp for interacting with the method signature registry
JavaScript ★ 0 8y agoExplain → -
dapp-tokendeploy ⑂
A basic token deployment dapp
JavaScript ★ 0 8y agoExplain → -
parity-bitcoin ⑂
The Parity Bitcoin client
Rust ★ 0 8y agoExplain → -
dapp-tokenreg ⑂
Dapp for interacting with the Token registry
JavaScript ★ 0 8y agoExplain → -
js-api ⑂
JS Promise-based API library for interfacing with Ethereum over RPC, part of parity.js
JavaScript ★ 0 8y agoExplain → -
wasm-utils ⑂
No description.
Rust ★ 0 8y agoExplain → -
libusb-sys ⑂
Rust bindings for the libusb library.
C ★ 0 8y agoExplain → -
sms-verification ⑂
SMS verification for Parity.
JavaScript ★ 0 8y agoExplain → -
evm1.5skelton
No description.
Isabelle ★ 0 8y agoExplain → -
secp256k1-ml ⑂
Elliptic curve library secp256k1 wrapper for Ocaml
OCaml ★ 0 8y agoExplain → -
ocaml-rpc ⑂
Light library to deal with RPCs in OCaml
OCaml ★ 0 9y agoExplain → -
free-programming-books ⑂
No description.
★ 0 12y agoExplain → -
libff ⑂
No description.
C++ ★ 0 9y agoExplain → -
tests ⑂
Common tests for all Ethereum implementations
Python ★ 0 8y agoExplain → -
cryptokit ⑂
A library of cryptographic primitives (ciphers, hashes, etc) for OCaml
OCaml ★ 0 9y agoExplain → -
wiki-1 ⑂
The Ethereum Wiki -
★ 0 9y agoExplain → -
casper ⑂
Casper contract, daemon and related software and tests
Python ★ 0 9y agoExplain → -
julia-wasm-arithmetics ⑂
No description.
★ 0 9y agoExplain → -
ethereum-org ⑂
Ethereum Foundation website
HTML ★ 0 9y agoExplain → -
refulangcore
Refu language
C ★ 0 10y agoExplain → -
minus-minus-solidity
A Solidity subset with random program generator
Haskell ★ 0 9y agoExplain → -
Luck ⑂
Luck -- A Language for Property-Based Generators
Haskell ★ 0 9y agoExplain → -
book
truffle practice
JavaScript ★ 0 9y agoExplain → -
processed
No description.
LLVM ★ 0 9y agoExplain → -
swarm-guide ⑂
swarm documentation
Python ★ 0 9y agoExplain → -
solgen
Generates a random Solidity code that should compile
★ 0 9y agoExplain → -
ethereum-lem ⑂
No description.
Isabelle ★ 0 9y agoExplain → -
fevm ⑂
Formalization of EVM in Coq
Coq ★ 0 9y agoExplain → -
cpp-ethereum ⑂
Ethereum C++ client
C++ ★ 0 8y agoExplain → -
mist ⑂
Mist browser
JavaScript ★ 0 9y agoExplain → -
NihonkokuKenpo ⑂
THE CONSTITUTION OF JAPAN (by Japanese)
★ 0 14y agoExplain → -
DAO ⑂
The DAO smart contracts
Python ★ 0 10y agoExplain → -
www ⑂
Main-Website
HTML ★ 0 10y agoExplain → -
frontier-guide ⑂
No description.
★ 0 11y agoExplain → -
wiki
a repository just for wiki
★ 0 11y agoExplain → -
rust-by-example ⑂
Learn Rust with practical examples
★ 0 11y agoExplain → -
hashprice
A Yesod application that shows the current price of one hash in bitcoin mining.
CSS ★ 0 12y agoExplain → -
diary
diary
★ 0 13y agoExplain → -
translate ⑂
ATS言語に関する文書の日本語訳置き場
★ 0 12y agoExplain → -
rust-file-example
A simple pair of rust programs that writes to and read from a file.
Rust ★ 0 12y agoExplain → -
ppmd
PIrapira port management daemon.
OCaml ★ 0 13y agoExplain → -
exercism.io ⑂
Exercises with crowd-sourced code reviews. The gem repo is at http://github.com/kytrinyx/exercism
Ruby ★ 0 12y agoExplain →
No repos match these filters.