endorphin

NYC

Pinned Repositories

dapptools
Dapp, Seth, Hevm, and more
Language:Haskell2.1k 50 409324
k-dss
formal verification of multicollateral dai in the K framework
Language:GCC Machine Description45 17 1423
klab
K framework proof explorer & smart contract specification format
Language:JavaScript124 17 10636
nixpkgs
Nix Packages collection
Language:Nix0 1 00
act
Smart contract specification language
Language:Haskell215 12 7134
ethereum-org-website
Ethereum.org is a primary online resource for the Ethereum community.
Language:Markdown4.9k 207 3k4.6k
fv-blog
Formal verification blog
Language:HTML2 10 09
nixpkgs
Nix Packages collection & NixOS
Language:Nix16.3k 278 38.6k12.8k