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.
☆110Nov 5, 2026Updated this week
Alternatives and similar repositories for LeanCIL
Users that are interested in LeanCIL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Real-time memory and GC insights for .NET apps☆73Updated this week
- Mixed-mode live heap snapshot capture and analysis tool for .NET 10 applications with support of standard (WKS/SVR) and Satori GC familie…☆61Updated this week
- A WebAssembly runtime implemented in C# for .NET☆87May 27, 2026Updated 5 months ago
- Fast ordered maps for .NET: a C# port of bbtree, a B+-tree with SIMD inline-key search☆48Oct 28, 2026Updated last week
- 🍅 Low level library for high performance, concurrent, low GC impact data storing & manipulation☆19Jun 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tips & tricks to tune .NET workloads for better perf (mostly, targeting benchmarks).☆305Updated this week
- A demo application that demonstrates scheduling large, long-running jobs across an Akka.NET cluster.☆20Oct 21, 2026Updated 2 weeks ago
- High performance serialization infrastructure for C#.☆107Oct 30, 2026Updated last week
- An open-source IDE for C# and .NET, built with Avalonia, for Windows, macOS and Linux: a Roslyn-powered editor, its own debugger with Hot…☆212Updated this week
- SharpLsp brings the complete .NET development experience to every editor in C# and F#☆178Updated this week
- what do you think?☆18Oct 22, 2026Updated 2 weeks ago
- An experimental C# UI framework with binding Rust GPUI☆57Sep 28, 2026Updated last month
- Practical generic programming for .NET☆290Updated this week
- Managed-first .NET web browser engine, built from primitives☆64Jul 7, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)☆293Updated this week
- This library provides fast, lightweight and low-level memory allocators for .NET (e.g TLSF)☆55Feb 23, 2026Updated 8 months ago
- Comptime brings meta-programming capabilities to C#, enabling compile-time code generation and evaluation.☆575Dec 18, 2025Updated 10 months ago
- NativeCompressions is the native binding and high-level API of ZStandard, LZ4 and OpenZL compression library for .NET and Unity.☆317Oct 15, 2026Updated 3 weeks ago
- Fast SIMD-based UTF-8 Validation in C#☆55Sep 26, 2026Updated last month
- ☆153Updated this week
- Cross-platform GPU rendering, composition, vector, text, compute, and DirectX/LibreWPF/WinUI/Avalonia interop on WebGPU and Silk.NET.☆192Updated this week
- A pure dotnet mermaid parser, layout engine AND renderer, no js runtime, AOT ready.☆56Updated this week
- Okojo is an experimental low allocation managed JavaScript engine for .NET☆161Sep 21, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A library to build .NET profilers in .NET☆208Apr 10, 2026Updated 6 months ago
- AOT compatible .NET bootstrapper plus NuGet☆36Jan 23, 2026Updated 9 months ago
- A microsecond-latency ACID database engine with a native Entity-Component-System data model, built for real-time systems.☆253Updated this week
- Generate plots for BenchmarkDotNet☆13Nov 17, 2024Updated last year
- ☆25Jun 19, 2024Updated 2 years ago
- Agentic Development Environment☆328Updated this week
- A feature-packed .NET MessagePack serialization library with great performance and simplicity. msgpack.io[C#]☆181Updated this week
- Simple source only reflection library with default interface property support☆81Updated this week
- Fast, allocation-friendly .NET library to generate, parse, and manipulate ANSI/VT escape sequences (writer, markup, tokenizer, ANSI-aware…☆32Sep 2, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A web UI for Microsoft.Testing.Platform tests, standalone or in the Aspire dashboard☆20Updated this week
- ReactiveGenerator is a modern C# source generator that automates property change notification implementation, supporting both standard IN…☆86Jan 16, 2025Updated last year
- C# Markup Extension PoC: C# with JSX-like Expression Syntax☆16Jun 15, 2026Updated 4 months ago
- Lurp: a Roslyn semantic map for .NET agents (C# / SQLite / MCP)☆16Oct 26, 2026Updated last week
- C compiler for .NET☆100Oct 28, 2026Updated last week
- An AOT .NET-to-C++ transpiler — where NativeAOT meets IL2CPP — with a native drop-in for Godot's Mono module☆38Updated this week
- This library provides struct based collections for high performance and low memory usage☆37Oct 27, 2024Updated 2 years ago