The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

A settings app for GNOME's Login Manager, GDM

formalization of Dijkstra Monad using "Dijkstra Monads for All" from Kenji Maillard et al. 2019

A launch point for your personal nvim configuration

A verification toolchain for Rust programs

A massively parallel, high-level programming language

Parser Combinator Library for Lean 4

Lean formalization of selected lemmas from "Term Rewriting and All That"

A modular toolkit for building fast, reliable Web applications and libraries with Rust and WASM

Rust implementation of challenges and problems covered in structy.net data structures and algorithm course.

Lean 4 programming language and theorem prover

Distributed Systems Labs and Framework

All Algorithms implemented in Rust

c extended library

VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

Declarative terminal graphics for OCaml

Public snapshots of "ACSL by Example"

Template for an ocaml project with modern tooling

Simple template for midsize OCaml project

An interpreter for the Monkey programming language written in Rust

WebAssembly from Scratch: From FizzBuzz to DooM.

An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.

VST verification of programs from the cbench benchmark

Formally verified numerical integration of an ordinary differential equation

LR(1) parser generator for Rust

ALIEN is a CUDA-powered artificial life simulation program.

egg is a flexible, high-performance e-graph library

A collection of TLA⁺ specifications of varying complexities.