Pinned Loading

1. algoml algoml Public

   A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

   OCaml 24 5

2. algoml-vscode algoml-vscode Public

   1 1

3. mev-finder mev-finder Public

   Haskell 1

4. blockchain-unica/rosetta-smart-contracts blockchain-unica/rosetta-smart-contracts Public

   A chrestomathy of smart contracts in different smart contract languages

   Rust 30 6

5. fsainas/contracts-verification-benchmark fsainas/contracts-verification-benchmark Public

   An open benchmark for evaluating smart contracts verification tools.

   Solidity 16 11

6. Geladen/algorand-games-platform Geladen/algorand-games-platform Public

   Project for International School on Algorand Smart Contracts.

   Python 2 1