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.
☆49Oct 16, 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:
- Cross-platform GPU rendering, composition, vector, text, compute, and DirectX/LibreWPF/WinUI/Avalonia interop on WebGPU and Silk.NET.☆188Updated this week
- A small dependency-free library for interfacing with a Ledger over the Web Authentication API.☆10Jan 9, 2023Updated 3 years ago
- Web components. Native performance. Run packaged React, TypeScript, and JavaScript components in native application frameworks through a…☆57Updated this week
- Native support for JSX and TSX as a server and client rendered view engine for ASP.NET Core. Bringing the modern web to ASP.NET.☆239Oct 8, 2026Updated last week
- An Avalonia UI control to build zoomable and pannable maps☆13Jan 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Archive of Week in Ethereum News issues☆21Dec 24, 2024Updated last year
- Creating scalable, decentralized, and interoperable rollup solutions for the community.☆19Mar 31, 2026Updated 6 months ago
- A based rollup template of the Taiko Alethia stack.☆25Jun 15, 2026Updated 4 months ago
- An F# polymorphic, unqualified-accessible set of functions for List, Seq, and Array.☆12Sep 15, 2019Updated 7 years ago
- A simple extension method that generate curl command from HTTP request☆33Jun 24, 2024Updated 2 years ago
- ☆25Jun 19, 2024Updated 2 years ago
- This package includes types and controls that were removed from System.Windows.Forms in .NET Core 3.x / .NET 5. Specifically this include…☆22Oct 10, 2023Updated 3 years ago
- A fully customizable static site generator using the power of FAKE☆11Jul 15, 2019Updated 7 years ago
- Sln parser☆14Oct 18, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A graph based approach to type inference written in F#☆22Aug 3, 2026Updated 2 months ago
- A collection of various dangerous operations.☆27Mar 26, 2023Updated 3 years ago
- An Ethereum multiplexer for one consensus node to multiple execution nodes.☆45Dec 3, 2025Updated 10 months ago
- Repository with examples for LLBLGen Pro v5.x☆11Jan 16, 2024Updated 2 years ago
- A P model of durable Promises☆14Oct 6, 2023Updated 3 years ago
- Explore Earth, the Moon, and all eight planets in an interactive Three.js solar system with NASA imagery and JPL orbital data.☆21Sep 10, 2026Updated last month
- High performance serialization infrastructure for C#.☆102Oct 9, 2026Updated last week
- 86,420,337 lines — a 10 GB log — open in 80 ms, and 0 bytes of it live in memory. A Mac-native viewer and editor for the files that break…☆36Updated this week
- Provides an extensible solution for creating Data Processing Pipelines in F#.☆15Apr 7, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fable Formlets (Applicative Functor Forms kind of)☆14Dec 2, 2018Updated 7 years ago
- NativeWebView provides a native-webview-first control stack for Avalonia without bundling Chromium.☆42Sep 14, 2026Updated last month
- Post feedback as issues here on Github for the Aurelia book. Be as descriptive and honest as you like.☆15Jun 12, 2016Updated 10 years ago
- The preconfer sidecar for Taiko Alethia preconfirmations 🥁☆44Aug 14, 2026Updated 2 months ago
- Quantization code extracted from Paint.NET 4.2.16 w/ many fixes, improvements and optimizations to the standard Octree/Quantization code …☆35Dec 26, 2024Updated last year
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆19Feb 21, 2026Updated 7 months ago
- Xamarin.Forms WPF Backend Progress☆34Mar 17, 2019Updated 7 years ago
- An eBPF virtual machine in the browser☆10May 22, 2023Updated 3 years ago
- A secure WebAssembly sandbox for running untrusted code with flexible host-guest communication☆17Nov 12, 2025Updated 11 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- An app for Seq (http://getseq.net) that forwards messages to Telegram.☆10Aug 17, 2022Updated 4 years ago
- A .NET library that provides strongly-typed implementations of multiple coordinate systems, including rectangular, polar, spherical, and …☆36Aug 9, 2026Updated 2 months ago
- ☆26Oct 13, 2025Updated last year
- A 1:1 OpenCode V2 port in C# and .NET 11, currently in development.☆78Sep 5, 2026Updated last month
- ☆10Dec 13, 2018Updated 7 years ago
- Experimental Paxos variant focused on low-latency consensus, derived from NOPaxos and Viewstamped Replication, using clock synchronizatio…☆19Oct 1, 2020Updated 6 years ago
- An MVVM implementation for MonoTouch with data binding and ICommand support.☆13Jan 18, 2011Updated 15 years ago