N0xMare's Stars
denoland/deno
A modern runtime for JavaScript and TypeScript.
tauri-apps/tauri
Build smaller, faster, and more secure desktop applications with a web frontend.
KillianLucas/open-interpreter
A natural language interface for computers
surrealdb/surrealdb
A scalable, distributed, collaborative, document-graph database, for the realtime web
compiler-explorer/compiler-explorer
Run compilers interactively from your web browser and interact with the assembly
ArroyoSystems/arroyo
Distributed stream processing engine in Rust
memgraph/memgraph
Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.
a16z/helios
A fast, secure, and portable light client for Ethereum
wagmi-dev/viem
TypeScript Interface for Ethereum
simd-lite/simd-json
Rust port of simdjson
gap-system/gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
privacy-scaling-explorations/maci
Minimal Anti-Collusion Infrastructure (MACI)
lurk-lab/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
risc0/zeth
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
0xOlias/ponder
A backend framework for crypto apps
starkware-libs/stone-prover
brockelmore/memmove
A data structures library that does memory management for you
FastLane-Labs/atlas
An Execution Abstraction framework that allows apps and frontends to fulfill their users' intents and retain their users' MEV by running auctions that match User Operations with Solver Operations. Users do not need a smart wallet. Permissionless for users, apps, and Solvers. Backwards-compatible with existing apps.
evmts/evmts-monorepo
Bundler and LSP for Solidity and TypeScript
lurk-lab/yatima
A zero-knowledge Lean4 compiler and kernel
AmadiMichael/Zyclone
2nd place at Huffathon 2023. Optimized token mixer for Ethereum utilizing zkSNARKs. 500% cheaper than Tornado cash
jtriley-eth/smart-types
Philogy/evm-glue
kassandraoftroy/erc5564-contracts
ERC5564 smart contracts for stealth addresses protocols on evm chains
PaulRBerg/btt-examples
Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests
kadenzipfel/uni-lbp
A capital-efficient Uniswap v4 liquidity bootstrapping pool (LBP) hooks contract
Will-Smith11/sks
Submodules Kill Solidity
ceramicnetwork/rust-ceramic
Implementation of the Ceramic protocol in Rust
Prabhat1308/Huffathon_23
Complex Math Lib & FFT implementation in Huff