The Startup CTO's Handbook, a book covering leadership, management and technical topics for leaders of software engineering teams

Monorepo for Summa Proof of Solvency Protocol

The paper list of the 86-page paper "The Rise and Potential of Large Language Model Based Agents: A Survey" by Zhiheng Xi et al.

🐇 Fuzzing Rust code with American Fuzzy Lop

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Platform to experiment with the AI Software Engineer. Terminal based. NOTE: Very different from https://gptengineer.app

Write UTXO-based Substrate Runtimes

Aggregator for amazing ZKML resources

Rust examples for all 23 classic GoF design patterns, and even a little more

Guidelines and training material to write secure smart contracts

A static verifier for Rust, based on the Viper verification infrastructure.

A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private smart contracts.

📜 A Starter Guide to Build ZK Applications 📜

Polkadot bridge js SDK with XCM transfer.

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

🍄 an alleged 'operating system'

An FHE compiler for C++

wepoll: fast epoll for windows⁧ 🎭

Rust for Windows

A local Rust playground

The fastest feature-rich C++11/14/17/20/23 single-header testing framework

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

My configuration files

Phoenix is a self-custodial Bitcoin wallet using Lightning to send/receive payments.

Rust API guidelines

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Scripts related to XCM for Moonbeam/Moonriver

Create agents that monitor and act on your behalf. Your agents are standing by!