WilfredTA

Tak's starred repositories

Awesome-MEV

A list of MEV resources with a focus on past research papers/talks.

MIT54200

An Execution Abstraction framework that allows apps, frontends, and oracles 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.

Language:SolidityNOASSERTION13200

Neurite

Fractal Graph-of-Thought. Experimental Mind-Mapping for Ai-Agents, Web-Links, Notes, and Code.

Language:JavaScriptMIT95100

disco-schema

MEV Auction and Ethereum Network Data Schemas

Language:Shell200

cookckb

A public goods project aimed at supporting developers in exploring and contributing to the Nervos CKB ecosystem. CookCKB provides a collection of example projects, each showcasing key functionalities and features of CKB application development.

Language:JavaScript1000

awesome-racket

A curated list of awesome Racket frameworks, libraries and software, maintained by Community

Language:RacketMIT44400

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:Coq80800

Clarabel.rs

Clarabel.rs: Interior-point solver for convex conic optimisation problems in Rust.

Language:RustApache-2.030100

unit

Next Generation Visual Programming System

Language:TypeScriptMIT290100

agave

Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

Language:RustApache-2.024900

hub-monorepo

Implementation of the Farcaster Hub specification and supporting libraries for building applications on Farcaster

MIT200

safe-crosschain

Simple module to control a Safe via crosschain calls with Hashi

Language:SolidityMIT2700

splash

A decentralized network for sharing offers across the Chia ecosystem

Language:RustMIT2900

noise-rust

Rust implementation of Noise

Language:RustUnlicense6400

loco

🚂 🦀 The one-person framework for Rust for side-projects and startups

Language:RustApache-2.0368800

pavex

An easy-to-use Rust framework for building robust and performant APIs

Language:RustApache-2.0168600

firewood

Compaction-Less Database Optimized for Efficiently Storing Recent Merkleized Blockchain State

Language:RustNOASSERTION10800

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptApache-2.072600

powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Language:RustApache-2.035600

gs-quant

Python toolkit for quantitative finance

Language:Jupyter NotebookApache-2.0712100

ill

intention lock conditional state library for the EVM

Language:Solidity200

awesome-cto

A curated and opinionated list of resources for Chief Technology Officers, with the emphasis on startups

CC0-1.02543800

awesome-courses

:books: List of awesome university courses for learning Computer Science!

5584400

mathlib4

The math library of Lean 4

Language:LeanApache-2.0124100

aurae

Distributed systems runtime daemon written in Rust.

Language:RustApache-2.0183800

leptos

Build fast web applications with Rust.

Language:RustMIT1551000

ff

Traits and utilities for working with finite fields.

Language:RustApache-2.023100

typhon

Formalization of Typhon protocol

Language:TLA2700

spark

A Decentralized Order Book on Fuel.Network

Language:TypeScriptNOASSERTION53800

ai-town

A MIT-licensed, deployable starter kit for building and customizing your own version of AI town - a virtual town where AI characters live, chat and socialize.

Language:TypeScriptMIT724100