Stars
Format seleted text in Obsdidian.md
Looping and Leverage in Decentralised Finance (DeFi)
Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number.
Blazing fast toolkit for developing Starknet contracts.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
A local testnet for Starknet... in Rust
Starkli (/ˈstɑːrklaɪ/), a ⚡ blazing ⚡ fast ⚡ CLI tool for Starknet powered by 🦀 starknet-rs 🦀
A light theme for Visual Studio Code
Create book from markdown files. Like Gitbook but implemented in Rust
A preprocessor for mdBook, rendering LaTex equations to HTML at build time.
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
Reproduce DeFi hacked incidents using Foundry.
A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities,…
A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.
Crypto 101, the introductory book on cryptography.
TLA+ language support for Visual Studio Code
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Command line tool that converts markdown to HTML.
API and CLI for generating a markdown TOC (table of contents) for a README or any markdown files. Uses Remarkable to parse markdown. Used by NASA/openmct, Prisma, Joi, Mocha, Sass, Prettier, Orbit …
Opinionated security and code quality standard for Solidity smart contracts.
🛠 An SDK for building applications on top of Uniswap V3
Classification of smart contract vulnerabilities
🦄 🦄 🦄 Core smart contracts of Uniswap v3