Tak (WilfredTA)

WilfredTA

Geek Repo

Company:Khalani

Home Page:https://blog.khalani.network

Twitter:@TannrAllard

Github PK Tool:Github PK Tool


Organizations
AthenaFoundation
EVM-SMT
layr-team
TokenEngineeringCommunity

Tak's starred repositories

Awesome-MEV

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

License:MITStargazers:542Issues:0Issues:0

atlas

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:SolidityLicense:NOASSERTIONStargazers:132Issues:0Issues:0

Neurite

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

Language:JavaScriptLicense:MITStargazers:951Issues:0Issues:0

disco-schema

MEV Auction and Ethereum Network Data Schemas

Language:ShellStargazers:2Issues:0Issues:0

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:JavaScriptStargazers:10Issues:0Issues:0

awesome-racket

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

Language:RacketLicense:MITStargazers:444Issues:0Issues:0

magmide

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

Language:CoqStargazers:808Issues:0Issues:0

Clarabel.rs

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

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

unit

Next Generation Visual Programming System

Language:TypeScriptLicense:MITStargazers:2901Issues:0Issues:0

agave

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

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

hub-monorepo

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

License:MITStargazers:2Issues:0Issues:0

safe-crosschain

Simple module to control a Safe via crosschain calls with Hashi

Language:SolidityLicense:MITStargazers:27Issues:0Issues:0

splash

A decentralized network for sharing offers across the Chia ecosystem

Language:RustLicense:MITStargazers:29Issues:0Issues:0

noise-rust

Rust implementation of Noise

Language:RustLicense:UnlicenseStargazers:64Issues:0Issues:0

loco

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

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

pavex

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

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

firewood

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

Language:RustLicense:NOASSERTIONStargazers:108Issues:0Issues:0

quint

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

Language:TypeScriptLicense:Apache-2.0Stargazers:726Issues:0Issues:0

powdr

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

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

gs-quant

Python toolkit for quantitative finance

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:7121Issues:0Issues:0

ill

intention lock conditional state library for the EVM

Language:SolidityStargazers:2Issues:0Issues:0

awesome-cto

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

License:CC0-1.0Stargazers:25438Issues:0Issues:0

awesome-courses

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

Stargazers:55844Issues:0Issues:0

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1241Issues:0Issues:0

aurae

Distributed systems runtime daemon written in Rust.

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

leptos

Build fast web applications with Rust.

Language:RustLicense:MITStargazers:15510Issues:0Issues:0

ff

Traits and utilities for working with finite fields.

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

typhon

Formalization of Typhon protocol

Language:TLAStargazers:27Issues:0Issues:0

spark

A Decentralized Order Book on Fuel.Network

Language:TypeScriptLicense:NOASSERTIONStargazers:538Issues:0Issues:0

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:TypeScriptLicense:MITStargazers:7241Issues:0Issues:0