Official Repository of "LLM × DATA" Survey Paper

Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.

Artifact for the VLDB 2025 paper, "Design and Modular Verification of Distributed Transactions in MongoDB". Includes TLA+ specifications and code for model-based testing of the WiredTiger API.

DuckDB is an analytical in-process SQL database management system

A curated list of awesome TikZ documentations, libraries and resources

2025 Papers on Verification of Transactional Isolation Levels

Virtual bookshelf for math and computer science.

Synchronous fault-tolerant distributed algorithms encoded in TLA+

TLAi+ Benchmarks

A collection of resources for learning type theory and type theory adjacent fields.

A GQL parser build with ANTLR v4.

Graph Query Language (ISO/IEC 39075) Antlr4 Implementation

High level model for MongoDB consistency

Intuitionistic Programming Language

Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

An awesome list of awesome YouTubers that teach about technology. Tutorials about web development, computer science, machine learning, game development, cybersecurity, and more.

Mathematical Components (the Book)

Modeling and Proving in Computational Type Theory

Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.

A Lean companion to Analysis I

ai4db and db4ai work

所有小初高、大学PDF教材。

This tool synthesizes symbolic assumptions for TLA+ specifications.

Artifact for the paper "Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving".

Code for the manim-generated scenes used in 3blue1brown videos

A curated list of Best Artificial Intelligence Resources