Tooling and Languages
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Notable Works in Tooling and Languages
CTA: SCRF is building a list of key readings in each category area to orient researchers to notable works and previous research. Please comment in this thread with links to seminal research that would form part of an in… |
|
1 | 71 | December 1, 2020 |
|
Key Problems in Tooling and Languages
CTA: In these threads we attempt to inventory key areas of exploration that may exist in a particular discipline. These posts are living documents and it is our hope that the community will contribute to the list. CT… |
|
1 | 51 | December 1, 2020 |
|
About the Tooling and Languages category
|
|
0 | 37 | November 5, 2020 |
|
Research Summary: Bitcoin Covenants Unchained
|
|
5 | 95 | May 5, 2021 |
|
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
|
|
0 | 45 | May 3, 2021 |
|
Research Summary: Coding a DeFi arbitrage bot
|
|
9 | 385 | April 21, 2021 |
|
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
|
|
4 | 365 | March 26, 2021 |
|
Scribble: an inline verification language for Solidity
|
|
3 | 111 | January 8, 2021 |
|
Introduction to Tooling and Languages
|
|
0 | 41 | December 1, 2020 |