
Starred repositories
The modern API client that lives in your terminal.
Curated list of project-based tutorials
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
An embeddable dynamic programming language for Rust.
Emerging smart contract language for the Ethereum blockchain.
Comprehensive list of known attack vectors and common anti-patterns
Opensource IDE For Exploring and Testing Api's (lightweight alternative to postman/insomnia)
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
Static analyzer for solidity contracts based on regexs specifically crafted for code4rena contests
Efficient beacon chain batch deposit contract written in huff
Rust full node implementation of the Fuel v2 protocol.
🌴 Empowering everyone to build reliable and efficient smart contracts.
A curated list of awesome Uniswap v4 hooks resources.
Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
Generate tests based on the Branching Tree Technique.
Quests Protocol is a protocol to distribute token rewards for completing on-chain tasks.
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
⏳ Smart contracts of the Sablier Lockup protocol