Tooling and Languages
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Notable Works in Tooling and Languages
SCRF is crowd-sourcing a list of key readings in each forum category to point readers to notable works and foundational research. Please comment in this thread with links to seminal research that could form part of an in… |
|
2 | 153 | June 16, 2021 |
|
About the Tooling and Languages category
|
|
0 | 76 | November 5, 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 | 96 | December 1, 2020 |
|
A Conversation with the Creators of BitML
|
|
10 | 352 | July 22, 2021 |
|
Mini Post: Fast and reliable AML check in 4 quick steps
|
|
4 | 273 | July 20, 2021 |
|
Research Summary: Coding a DeFi arbitrage bot
|
|
11 | 3304 | July 1, 2021 |
|
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
|
|
2 | 286 | June 10, 2021 |
|
Research Summary: Bitcoin Covenants Unchained
|
|
10 | 378 | May 12, 2021 |
|
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
|
|
4 | 517 | March 26, 2021 |
|
Scribble: an inline verification language for Solidity
|
|
3 | 161 | January 8, 2021 |
|
Introduction to Tooling and Languages
|
|
0 | 82 | December 1, 2020 |