It is said that, Ilya Sutskever gave John Carmack this reading list of ~ 30 research papers on deep learning.

Transports, Middleware, and Networks for the Alloy project

An unapologetically dark and minimal theme.

Official repository for Sui smart contracts used by the Cross-Chain Transfer Protocol

Official repository for Aptos smart contracts used by the Cross-Chain Transfer Protocol

The official Rust SDK for the Model Context Protocol

A crate for making MCP (Model Context Protocol) compatible programs with rust

⚙️🦀 Build modular and scalable LLM Applications in Rust

Python CLI utility and library for manipulating SQLite databases

LCD-wrapper for Penumbra GRPC

This Python script takes a file containing Discord invite links as input and checks the validity of each link. Valid links are saved in a "valid_links.txt" file and invalid links are saved in an "i…

A support library for working with zero knowledge cryptography in Lean 4.

Text-To-Speech, RAG, and LLMs. All local!

Endo is a distributed secure JavaScript sandbox, based on SES

The Scyther Tool for the symbolic analysis of security protocols

Starknet sequencer built with Tendermint Core

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine. A fork and successor to Tendermint Core.

Testing infrastructure for the Celestia Network

Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs and blocks.

A research-only integration of Sovereign with Celestia

Docs for Poolshark, a directional automated market maker

Dolt – Git for Data

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

A safe, easy systems language