📚 A curated list of papers for Software Engineers

🐙 Guides, papers, lecture, notebooks and resources for prompt engineering

The fastest, most feature-complete zkVM for developers.

Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.

Rust parser combinator framework

Borgo is a statically typed language that compiles to Go.

Introductory lecture notes on programmable cryptography

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

Formal proof of the Four Color Theorem [maintainer=@ybertot]

Formal verification for Solidity smart contracts with Coq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!

The math library of Lean 4

egraphs + datalog!

The Vellvm (Verified LLVM) coq development.

Verify Cairo contracts in Lean 4

A zero-knowledge Lean4 compiler and kernel

The Halo2 zero-knowledge proving system

C# Grammar for tree-sitter

Rust grammar for tree-sitter

A Python framework and collection of test cases to generate test vectors for Ethereum execution clients

Flexible concrete Error type built on std::error::Error

derive(Error) for struct and enum error types

Heapless, `static` friendly data structures

Rust async runtime based on io-uring.

Draft ideas about using new features of rust

Solidity ANTLR4 grammar Python parser

A mechanisation of Wasm in Coq

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

experimental solidity compiler

An awesome list of e-graph resources

tiktoken is a fast BPE tokeniser for use with OpenAI's models.