Beast code in Giters

Jay Lorch's repositories

a GRId LOgic Puzzle Solver library

Language:PythonMIT2 10

Verification system for effectful programs

Language:F*Apache-2.0100

Boogie

Language:C#MIT010

A program to convert crossword grids to spreadsheet format

Language:PythonMIT010

Dafny is a verification-aware programming language

Language:C#NOASSERTION010

Google Sheets Python API

Language:PythonMIT010

The MSR Ironclad project builds provably secure and reliable systems.

Language:Dafny010

The main repo for the Puzzle Hunt and Puzzleday servers.

Language:C#MIT010

Language:Python010

Verified Rust for low-level systems code

Language:RustMIT000