Giters
Mathis Gontier Delaunay (MathisGD)

MathisGD

Geek Repo

77

followers

74

following

474

stars

Company:Morpho Labs

Twitter:@MathisGD_

Github PK Tool:Github PK Tool

Mathis Gontier Delaunay's starred repositories

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:61120Issues:883Issues:1129

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10339Issues:97Issues:176

build-nanogpt

Video+code lecture on building nanoGPT from scratch

Language:PythonStargazers:3153Issues:33Issues:17

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++License:Apache-2.0Stargazers:1573Issues:52Issues:516

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

Language:RustLicense:MITStargazers:1518Issues:28Issues:251

binance-public-data

Details on how to get Binance public data

Language:PythonStargazers:1424Issues:35Issues:269

weird-erc20

weird erc20 tokens

Language:SolidityStargazers:1327Issues:20Issues:5

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Language:RustLicense:MITStargazers:745Issues:13Issues:180

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

Language:RustLicense:Apache-2.0Stargazers:591Issues:32Issues:569

snekmate

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

Language:SolidityLicense:AGPL-3.0Stargazers:492Issues:9Issues:67

AI-scripts

Some handy AI scripts

Language:JavaScriptStargazers:340Issues:7Issues:4

revmc

JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.

Language:RustLicense:Apache-2.0Stargazers:175Issues:7Issues:7

analyzer

Static analysis framework for C

Language:OCamlLicense:MITStargazers:164Issues:18Issues:611

soldeer

Solidity Package Manager written in rust

Language:RustLicense:MITStargazers:151Issues:2Issues:31

grandine

High performance Ethereum consensus client

Language:RustLicense:GPL-3.0Stargazers:148Issues:5Issues:27

TWAMM

Language:SolidityStargazers:121Issues:3Issues:2

A-map-of-Ethereum

All discourse, papers, eth research posts, blogs and talks around current day ethereum research and future directions

Stargazers:120Issues:1Issues:0

yatima

A zero-knowledge Lean4 compiler and kernel

Language:LeanLicense:MITStargazers:110Issues:8Issues:115

rs-uniswap-sniper

Implementation of a sniping bot in Rust for Uniswap V2

Language:RustStargazers:60Issues:2Issues:0

transience

A Solidity library for transient storage management ✨

Language:SolidityStargazers:51Issues:5Issues:1

svm

Solidity Version Manager. Like nvm or jabba, but for Solidity. Cross platform.

Language:KotlinStargazers:49Issues:8Issues:7

kontrol

Language:PythonLicense:BSD-3-ClauseStargazers:41Issues:13Issues:290

multiproof

Generating Inputs for OZ's Multiproof

Language:SolidityLicense:MITStargazers:26Issues:6Issues:4

nottingham-contracts

Language:SolidityLicense:MITStargazers:18Issues:2Issues:0

verbs

Rust and Python Ethereum Agent Based Modelling Library

Language:RustLicense:MITStargazers:18Issues:2Issues:2

evm-maths

➗ Useful bigint math libraries to ease the journey through off-chain fixed-point arithmetics

Language:TypeScriptLicense:MITStargazers:11Issues:2Issues:2

webcaltides

webcal server for NOAA + DFO-CHS tides, currents and sunrise/sunset data.

Language:RubyStargazers:8Issues:4Issues:2

executooor

🛣️ The safest & most versatile multi-purpose execution contract (highway to MEV!)

Language:TypeScriptLicense:MITStargazers:7Issues:2Issues:1

solidity

coq-of-solidity: Formal verification for Solidity smart contracts with Coq 🐓

Language:CoqLicense:GPL-3.0Stargazers:4Issues:0Issues:0

blue-bundler-decoder

A lightweight package for decoding call data sent to Morpho Blue's bundler.

Language:JavaScriptStargazers:1Issues:0Issues:0