Formal semantics for .NET bytecode in Lean 4, with machine-checked proofs against compiled assemblies.
Open source AI coding agent for C and C++ in the terminal. Free plan.
Open source Claude Code plugin that explains what an agent did, with visualizations in the terminal.
Post-build IL optimizer for .NET. Try the lab in the browser. Open source.
Ruby and Rails IDE for the Mac. Opens in about a second. Open source.
I built it instead 😁 Introducing LeanCIL - formal semantics for .NET CIL in Lean 4, with machine-checked proofs against actual compiled assemblies Not just C# - a foundation for verifying F# and other .NET languages too Let's formally verify dotnet github.com/NethermindEth/…
I just proposed an official @leanprover 4 formal semantics for C# - giving C# a foundation for machine-checkable proofs. AI agents are getting very good at writing code - and very good at breaking it. In the agentic era, "tests passed" won't be enough for critical software. We
Introducing @ByteAsk Your AI C++ engineer, and a swarm of them > SOTA on multi SWE bench (C/C++) > 60% fewer tokens wrt cc/codex > auto debug/perf/optimize/test with native C/C++ tools Free plan. Open Source. github.com/ByteAsk/cli
I built thimble, an open source Claude Code plugin that makes it easy to understand what agents did. It adds explainers and interactive visualizations in your terminal. If Claude Code is for building, thimble is for understanding. Install thimble here! github.com/safety-researc…
Introducing Cilica, a general-purpose IL optimizer for #dotnet. It lifts IL into SSA form and runs a compiler pipeline: inlining, devirtualization, scalar replacement, VN, vectorization & more. Try it now in your browser: hez2010.github.io/CilicaLab GitHub: github.com/hez2010/Cilica
I got tired of paying for RubyMine, so I built my own. Garnet: a free, open-source Ruby & Rails IDE for macOS. Rust + Tauri. Launches in about a second, ~130 MB RAM. No account, no subscription, no telemetry. github.com/sachinkr7368/g…
