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-courses

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

awesome-cto

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

leptos

Build fast web applications with Rust.

Language:RustLicense:MITStargazers:15704Issues:90Issues:928

gs-quant

Python toolkit for quantitative finance

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:7481Issues:154Issues:29

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:7320Issues:60Issues:93

loco

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

Language:RustLicense:Apache-2.0Stargazers:3788Issues:31Issues:257

unit

Next Generation Visual Programming System

Language:TypeScriptLicense:MITStargazers:3016Issues:42Issues:0

aurae

Distributed systems runtime daemon written in Rust.

Language:RustLicense:Apache-2.0Stargazers:1842Issues:41Issues:119

pavex

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

Language:RustLicense:Apache-2.0Stargazers:1702Issues:31Issues:15

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1320Issues:40Issues:390

Neurite

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

Language:JavaScriptLicense:MITStargazers:983Issues:29Issues:16

magmide

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

quint

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

Language:TypeScriptLicense:Apache-2.0Stargazers:746Issues:22Issues:675

Awesome-MEV

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

License:MITStargazers:548Issues:18Issues:0

spark

A Decentralized Order Book on Fuel.Network

Language:TypeScriptLicense:NOASSERTIONStargazers:538Issues:10Issues:12

awesome-racket

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

Language:RacketLicense:MITStargazers:449Issues:24Issues:3

powdr

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

Language:RustLicense:Apache-2.0Stargazers:360Issues:15Issues:388

Clarabel.rs

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

Language:RustLicense:Apache-2.0Stargazers:310Issues:11Issues:38

agave

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

Language:RustLicense:Apache-2.0Stargazers:279Issues:11Issues:298

ff

Traits and utilities for working with finite fields.

Language:RustLicense:Apache-2.0Stargazers:233Issues:9Issues:46

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:138Issues:2Issues:3

firewood

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

Language:RustLicense:NOASSERTIONStargazers:110Issues:12Issues:144

noise-rust

Rust implementation of Noise

Language:RustLicense:UnlicenseStargazers:65Issues:4Issues:5

splash

A decentralized network for sharing offers across the Chia ecosystem

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

typhon

Formalization of Typhon protocol

safe-crosschain

Simple module to control a Safe via crosschain calls with Hashi

Language:SolidityLicense:MITStargazers:27Issues:2Issues:1

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:2Issues:0

hub-monorepo

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

Language:TypeScriptLicense:MITStargazers:2Issues:1Issues:0

disco-schema

MEV Auction and Ethereum Network Data Schemas

Language:ShellStargazers:2Issues:4Issues:0

ill

intention lock conditional state library for the EVM

Language:SolidityStargazers:2Issues:2Issues:0