Lists (13)
Stars
CUDA Tile IR is an MLIR-based intermediate representation and compiler infrastructure for CUDA kernel optimization, focusing on tile-based computation patterns and optimizations targeting NVIDIA te…
Port your Soldity smart contracts to Rust, with ease and 💯 equivalence
Rust virtual machine and JIT compiler for eBPF programs
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin.
Collection of sponge functions written in pure Rust
Awesome Privacy - A curated list of services and alternatives that respect your privacy because PRIVACY MATTERS.
Emerging smart contract language for the Ethereum blockchain.
🚀 An awesome list of curated Nano Banana pro prompts and examples. Your go-to resource for mastering prompt engineering and exploring the creative potential of the Nano banana pro(Nano banana 2) AI…
Awesome curated collection of images and prompts generated by gemini-2.5-flash-image (aka Nano Banana) state-of-the-art image generation and editing model. Explore AI generated visuals created with…
Browser add-on that hides YouTube-shorts videos
Minimalist, fast and modular implementation of the Lean Ethereum client written in Rust
A modern, retro-styled terminal multiplexer built with Rust.
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Project Wycheproof tests crypto libraries against known attacks.
Interactive log viewer for flight logs recorded with blackbox
Lean Ethereum protocol specifications and test vector generation framework.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledg…
Robust Speech Recognition via Large-Scale Weak Supervision
A Solidity implementation for distribution prediction markets.