MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

《软件基础》中文版

Verified Software Toolchain

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A Collection of Papers & Notes in Programming Language & Formal Verification

A style guide for Coq

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

程序语言与编译技术相关资料（持续更新中）

文章《Functional Programming For The Rest of Us》的中文翻译

Coq集合论中文教程

Tai-e assignments for static program analysis

An introduction to programming language theory in Agda

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版

OCaml debug adapter

Visual Studio Code extension for Rocq

Natural Number Game

QCP (Qualified C Programming), a C program verification tool

Sail architecture definition language