Popular repositories Loading

1. horstify horstify Public

   Automated Sound Security Analysis of Smart Contracts

   Java 2

2. BitMLx BitMLx Public

   PoC implementation of a BitMLx -> 2xBitML compiler

   Racket 1

3. CTLC-Implementation CTLC-Implementation Public

   Here you find the code for the CTLC Implementation as mentioned in the paper "Atomic Transaction Graphs: A Framework for Secure-by-design Protocols for Heterogeneous Blockchain Environments".

   Solidity 1

4. hn-rg.github.io hn-rg.github.io Public

   HTML