GuidedSampler: Coverage-guided Sampling of SMT Solutions

SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

Distributed Database in Rust

Shuttle is a library for testing concurrent Rust code

C Bounded Model Checker

GitHub Copilot & Copilot Chat plugin for Typora on both Windows, macOS and Linux.

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

FFmpeg Assembly Language Lessons

《开源大模型食用指南》针对中国宝宝量身打造的基于Linux环境快速微调（全参数/Lora）、部署国内外开源大模型（LLM）/多模态大模型（MLLM）教程

A comprehensive book on neural networks and large language models in NLP

📚 从零开始的大语言模型原理与实践教程

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

📚 List of awesome university courses for learning Computer Science!

A curated list of Rust code and resources.

Kani Rust Verifier

Flight rules for git

Rust port of Yjs

Google Drive CLI Client

Formalization of the Truly Stateless Concurrency Model Checker in Coq

Use the world of Python from the comfort of Scala!

The Scala 3 compiler, also known as Dotty.