NakedAVP is a port of Aliens vs Predator Classic (2000) to modern systems, based on the icculus port for Linux, macOS and Windows using SDL3

A Rust verification tool

A formalization of IO automata in the Coq proof assistant

A parser based on the ALL(*) algorithm, implemented and verified in Coq.

coinduction library for Coq

The docker-export and docker-commit commands do not save the container volumes. Use this script to save and load the container volumes.

Two-Step Model-Based Security Testing tool for Android Applications

YAY Ain't YAML

bash script to encrypt data using a users ssh public key.

ExTester: Your Essential UI Testing Companion for Visual Studio Code Extensions! Seamlessly execute UI tests with Selenium WebDriver, ensuring robustness and reliability in your extension developme…

Bounds on divsteps iterations in safegcd

An easy 1-click way to create beautiful artwork on your PC using AI, with no tech knowledge. Provides a browser UI for generating images from text prompts and images. Just enter your text prompt, a…

Evoting at EPFL project

A formal verification of Linear Temporal Logic in Coq

A quick reference for mapping Coq tactics to Lean tactics

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

Modeling and Proving in Computational Type Theory

Hanoi tower in Coq

Left-leaning red-black trees

A Collection of Blank Video Files For Removing Intro Videos and Other

Mathematics of Robotic Manipulation using Rocq and MathComp

A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq

Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]

Coq library on rewriting theory and termination

Idempotent script to migrate Bitbucket issues to GitHub. Capable of patching issues even after the initial GitHub posts.

Command & Conquer: Remastered Collection