Tooling and Languages
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
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 | 148 | December 1, 2020 |
|
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 | 213 | June 16, 2021 |
|
About the Tooling and Languages category
|
|
0 | 106 | November 5, 2020 |
|
Research Summary: Leveraging Blockchain for Greater Accessibility of Machine Learning Models
|
|
15 | 561 | September 30, 2021 |
|
Research Summary: Coding a DeFi arbitrage bot
|
|
14 | 7608 | September 22, 2021 |
|
Deep Diving into PRBMath, a Library for Advanced Fixed-Point Math
|
|
8 | 436 | August 18, 2021 |
|
A Conversation with the Creators of BitML
|
|
10 | 429 | July 22, 2021 |
|
Mini Post: Fast and reliable AML check in 4 quick steps
|
|
4 | 610 | July 20, 2021 |
|
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
|
|
2 | 368 | June 10, 2021 |
|
Research Summary: Bitcoin Covenants Unchained
|
|
10 | 509 | May 12, 2021 |
|
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
|
|
4 | 604 | March 26, 2021 |
|
Scribble: an inline verification language for Solidity
|
|
3 | 230 | January 8, 2021 |
|
Introduction to Tooling and Languages
|
|
0 | 123 | December 1, 2020 |