NethermindEth / LeanCIL

LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.

dushyantzz / Ghosthand

A lightweight, Windows-native AI desktop assistant. Focus any app, press Ctrl+Win, and let it click, type, and automate with human-in-the-loop safety.