SaaSHub helps you find the best software and product alternatives Learn more →
Top 5 C# Verification Projects
-
Automation of Hoare logic is quite good these days. Dafny, from MS Research (https://dafny.org), is probably the most friendly formal language. Dafny has been used to verify large systems, including many components of AWS. I am hoping that LLMs make more advanced languages, such as Liquid Haskell or Agda, much easier to write. Ideally, lots of code should be autocompleted once a human provides a type signature. The advantage of formal verification is that we are sure the generated code is correct.
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
HDL_Converter
A simple tool that can be used to convert the header syntax of a verilog module or VHDL entity to an instantiation syntax and create testbench structures (top level and verify). The project is aimed at removing the need for tedious refactoring of module headers when instantiating modules or verifying individual modules with testbenches.
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
C# Verification discussion
C# Verification related posts
-
Long division verified via Hoare logic
-
Automated reasoning and generative AI: Harness creativity with formal verifications
-
Safer with Google: Advancing Memory Safety
-
Candy – a minimalistic functional programming language
-
Dafny – a verification-aware programming language
-
Lean4 helped Terence Tao discover a small bug in his recent paper
-
The Deep Link Equating Math Proofs and Computer Programs
-
A note from our sponsor - SaaSHub
www.saashub.com | 10 Jul 2025
Index
What are some of the best open-source Verification projects in C#? This list will help you:
| # | Project | Stars |
|---|---|---|
| 1 | dafny | 3,112 |
| 2 | ThinkSharp.Licensing | 113 |
| 3 | Symbolica | 65 |
| 4 | Unload | 37 |
| 5 | HDL_Converter | 8 |
Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com