palmskog

CnC_Remastered_Collection

easydiffusion

Easiest 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, and see the generated image.

dune

A composable build system for OCaml.

vscode-extension-tester

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 development journey. Simplify UI testing for your VS Code extensions and elevate the quality of your user interface effortlessly.

docker-volumes.sh

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

hax

A Rust verification tool

blank-intro-videos

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

sshenc.sh

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

MPCTT

Modeling and Proving in Computational Type Theory

coq-lean-cheatsheet

A quick reference for mapping Coq tactics to Lean tactics

llrbtree

Left-leaning red-black trees

safegcd-bounds

Bounds on divsteps iterations in safegcd

color

Coq library on rewriting theory and termination

PoS-NSB

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

coq-robot

Mathematics of Rigid Body Transformationss using Coq and MathComp

hanoi

Hanoi tower in Coq

coq-cds4ltl

A formalization of finite, constructive log analysis using linear temporal logic

tarjan

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

coinduction

coinduction library for Coq

bitbucket-issues-to-github

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

CoStar

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

secure-e-voting-with-coq

coq-mmaps

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

epfl-evoting

Evoting at EPFL project

yay

YAY Ain't YAML

coqioa

A formalization of IO automata in the Coq proof assistant

v1

VPatChecker

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

Hyperledger_Fabric_PoC

poulet4