FFMPEG Assembly Language Lessons

Category theory in the context of (functional) programming

XDP tutorial

Next Generation Visual Programming System

eBPF Developer Tutorial: Learning eBPF Step by Step with Examples

Alethe in AletheLF: Signature files, and examples to express Alethe proofs in AletheLF

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

A native, user-mode, multi-process, graphical debugger.

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Interactive, web-based tool for exploring, visualizing, and sharing formal specifications in TLA+.

LaTeX package and annotated examples for annotating equations using TikZ.

Resources for type theory, functional programming, etc.

An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

Student work implementing type theory in the rust type system

An Open Encyclopedia of Proof Systems

Count your code, quickly.

Logic programming in Rust

A fancy diagnostics & error reporting crate

Provides a Refl encoding in Rust

Resources for learning Category Theory for an enthusiast

Proof assistant based on the λΠ-calculus modulo rewriting

A collection of tools for writing technical documents that mix Coq code and prose.

a Rust implementation of first-order term rewriting systems (TRS)

Quantum : Un peu de mathématiques pour l'informatique quantique

Quantum computing using rust. Efficient and a borrow-checked no cloning theorem!

a structural diff that understands syntax 🟥🟩

A function definition package for Coq

Tricks you wish the Coq manual told you [maintainer=@tchajed]

A terminal workspace with batteries included