andresmayorca's Stars
FuelLabs/sway
🌴 Empowering everyone to build reliable and efficient smart contracts.
meta-llama/llama
Inference code for Llama models
foundry-rs/foundry
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
apple/ml-ane-transformers
Reference implementation of the Transformer architecture optimized for Apple Neural Engine (ANE)
ghdl/ghdl
VHDL 2008/93/87 simulator
White-Tiger/T-Clock
Highly configurable Windows taskbar clock
SpigotMC/BungeeCord
BungeeCord, the 6th in a generation of server portal suites. Efficiently proxies and maintains connections and transport between multiple Minecraft servers.
mds1/multicall
Multicall: Aggregate multiple constant function call results into one
OpenCoreCH/smart-contract-auditing-heuristics
Heuristics for smart contract auditors
slavingia/askmybook
mahaloz/DAILA
A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4 and local models supported!
JoranHonig/vertigo
Mutation Testing for Ethereum Smart Contracts
personaelabs/spartan-ecdsa
The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve
flashbots/suave-geth
paradigmxyz/zk-eth-rng
Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
starkware-libs/blockifier
Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.
AstariaXYZ/astaria-core
NFT Collateralized Lending Market leveraging our novel 3 Actor Model
solidityj/solidity-antlr4
Solidity grammar for ANTLR4
jtriley-eth/counter-exploit-toolkit
lyra-finance/v1-core
The Lyra Protocol
jtriley-eth/minimum-viable-proxy
WilfredTA/ser
Symbolic EVM in Rust (WIP)
TrueBlocks/trueblocks-docker
jtriley-eth/zk-calculator
pcaversaccio/batch-distributor
Helper smart contract for batch sending both native and ERC-20 tokens.
MrChico/massiboston
Evalir/forking
pls forking work (just a test)
jtriley-eth/snekmate
State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
jtriley-eth/test-proj
mmchougule/awesome-risc0