WilfredTA

Tak's starred repositories

awesome-courses

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

56196 2289 77

awesome-cto

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

CC0-1.025550 707 10

leptos

Build fast web applications with Rust.

Language:RustMIT15704 90 928

gs-quant

Python toolkit for quantitative finance

Language:Jupyter NotebookApache-2.07481 154 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:TypeScriptMIT7320 60 93

loco

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

Language:RustApache-2.03788 31 257

unit

Next Generation Visual Programming System

Language:TypeScriptMIT3016 420

aurae

Distributed systems runtime daemon written in Rust.

Language:RustApache-2.01842 41 119

pavex

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

Language:RustApache-2.01702 31 15

mathlib4

The math library of Lean 4

Language:LeanApache-2.01320 40 390

Neurite

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

Language:JavaScriptMIT983 29 16

magmide

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

Language:Coq811 51 18

quint

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

Language:TypeScriptApache-2.0746 22 675

Awesome-MEV

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

MIT548 180

spark

A Decentralized Order Book on Fuel.Network

Language:TypeScriptNOASSERTION538 10 12

awesome-racket

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

Language:RacketMIT449 24 3

powdr

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

Language:RustApache-2.0360 15 388

Clarabel.rs

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

Language:RustApache-2.0310 11 38

agave

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

Language:RustApache-2.0279 11 298

ff

Traits and utilities for working with finite fields.

Language:RustApache-2.0233 9 46

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:SolidityNOASSERTION138 2 3