Lists (2)
Stars
prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.
Universal utility for programming FPGA
Interactive formal verification tool for Yul programs
Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Smart contracts for on-chain anonymous settlement.
odyslam / sisyphus-tasks
Forked from prestwich/sisyphusUtils for long-lived, fault-tolerant rust tasks
A Rust library to interact with automated market makers across EVM chains.
Systems language with linear types and capability-based security.
⭐️ A friendly language for building type-safe, scalable systems!
Solidity compiler tooling by @NomicFoundation
Multi-agent framework for design, simulation, and auditing.
Cairo compiler plugin extending language with annotations
LambdaClass Hobby Club, hacking learning path handbook. The journey starts here!
Electric Clojure: full-stack differential dataflow for UI
A custom storage engine of Nethermind, benefiting from the alignment of the underlying data structure with the layout of State & Storage trees of Ethereum.
Horus, a formal verification tool for StarkNet smart contracts.
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
"Pre-Owned" malware in ROM for AllWinner H616/H618 & RockChip RK3328 Android TV Boxes
Papyrus is a StarkNet full node written in Rust.
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
*slaps roof of [programming language]* this bad boy can fit so much [syntax sugar] into it
This is a vim plugin that allows you to simulate rubber duck programming by using the chatGPT API to generate code suggestions and natural language explanations based on the selected lines of code …
Uniswap's Universal Router for NFT and ERC20 swapping