Grow your team on GitHub
GitHub is home to over 50 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up
Pinned repositories
Repositories
-
ds-test
Assertions, equality checks and other test helpers
-
-
ds-proxy
a proxy object that can compose transactions on owner's behalf
-
-
dapp-tools
Code for the dapp.tools website
-
klab
K framework proof explorer & smart contract specification format
-
ds-pause
Schedule function calls that can only be executed once some delay has elapsed
-
ds-chief
approval voting to select who wears the hat by consensus
-
-
evm-semantics
Forked from kframework/evm-semanticsK Semantics of the Ethereum Virtual Machine (EVM)
-
ds-warp
Time travel for Ethereum
-
erc20
erc20 interface definition container package
-
-
ds-weth
ETH->ERC20 with extra opinions
-
ds-spell
An object that does one thing once.
-
-
ds-auth
Updatable, unobtrusive Solidity authorization pattern
-
k
k-fork
-
-
trustwallet-assets
Forked from trustwallet/assets -
klab-server Archived

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
