Pinned Loading

1. argotorg/solidity argotorg/solidity Public

   Solidity, the Smart Contract Programming Language

   C++ 25.5k 6.3k

2. AOT AOT Public

   Embedding of The Theory of Abstract Objects in Isabelle/HOL

   Isabelle 26