Andres's starred repositories

foundry

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Language:RustLicense:Apache-2.0Stargazers:7650Issues:0Issues:0

forking

pls forking work (just a test)

Language:SolidityStargazers:2Issues:0Issues:0

blockifier

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

Language:RustLicense:Apache-2.0Stargazers:161Issues:0Issues:0
Language:GoLicense:LGPL-3.0Stargazers:178Issues:0Issues:0

sway

🌴 Empowering everyone to build reliable and efficient smart contracts.

Language:RustLicense:Apache-2.0Stargazers:63089Issues:0Issues:0

vertigo

Mutation Testing for Ethereum Smart Contracts

Language:PythonLicense:LGPL-3.0Stargazers:199Issues:0Issues:0

ghdl

VHDL 2008/93/87 simulator

Language:VHDLLicense:GPL-2.0Stargazers:2231Issues:0Issues:0

llama

Inference code for Llama models

Language:PythonLicense:NOASSERTIONStargazers:53506Issues:0Issues:0
Language:SolidityStargazers:103Issues:0Issues:0

ml-ane-transformers

Reference implementation of the Transformer architecture optimized for Apple Neural Engine (ANE)

Language:PythonLicense:NOASSERTIONStargazers:2481Issues:0Issues:0

T-Clock

Highly configurable Windows taskbar clock

Language:CStargazers:1683Issues:0Issues:0

solidity-antlr4

Solidity grammar for ANTLR4

Language:ANTLRLicense:MITStargazers:120Issues:0Issues:0

spartan-ecdsa

The fastest in-browser verification of ECDSA signatures in ZK, using Spartan on the secq256k1 curve

Language:RustStargazers:186Issues:0Issues:0

smart-contract-auditing-heuristics

Heuristics for smart contract auditors

Stargazers:564Issues:0Issues:0

v1-core

The Lyra Protocol

Language:TypeScriptLicense:ISCStargazers:100Issues:0Issues:0

ser

Symbolic EVM in Rust (WIP)

Language:RustLicense:MITStargazers:79Issues:0Issues:0

zk-eth-rng

Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.

Language:SolidityLicense:GPL-3.0Stargazers:169Issues:0Issues:0
Language:SolidityStargazers:87Issues:0Issues:0
Language:RustStargazers:1Issues:0Issues:0
Language:RustStargazers:31Issues:0Issues:0

snekmate

State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.

Language:SolidityLicense:AGPL-3.0Stargazers:2Issues:0Issues:0

DAILA

A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4 and local models supported!

Language:PythonStargazers:424Issues:0Issues:0

astaria-core

NFT Collateralized Lending Market leveraging our novel 3 Actor Model

Language:SolidityLicense:NOASSERTIONStargazers:135Issues:0Issues:0

BungeeCord

BungeeCord, the 6th in a generation of server portal suites. Efficiently proxies and maintains connections and transport between multiple Minecraft servers.

Language:JavaLicense:NOASSERTIONStargazers:1516Issues:0Issues:0
Language:JavaScriptLicense:MITStargazers:5Issues:0Issues:0

multicall

Multicall: Aggregate multiple constant function call results into one

Language:SolidityLicense:MITStargazers:871Issues:0Issues:0
Language:PythonStargazers:498Issues:0Issues:0
Language:DockerfileLicense:GPL-3.0Stargazers:38Issues:0Issues:0

batch-distributor

Helper smart contract for batch sending both native and ERC-20 tokens.

Language:TypeScriptLicense:MITStargazers:20Issues:0Issues:0