roberthusak / AskTheCodeLinks
Program error cause finder for C# - research tool
☆17Updated 4 years ago
Alternatives and similar repositories for AskTheCode
Users that are interested in AskTheCode are comparing it to the libraries listed below
Sorting:
- A performant and ergonomic implementation of binary decision diagrams for .NET☆55Updated 2 years ago
- Pattern matching for Roslyn syntax trees☆30Updated 7 years ago
- AFL-based fuzz testing for .NET☆432Updated this week
- Zen is a constraint solving library for .NET☆137Updated last year
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆39Updated 3 months ago
- Produce NuPkg files that have .NET Reference assemblies as resources☆116Updated 3 months ago
- Symbolic execution engine for .NET Core☆53Updated 9 months ago
- C# immutable records generator☆73Updated 5 years ago
- An Open Source .Net Constraint Programming Solver☆163Updated 6 months ago
- Extends Verify to allow verification of C# Source Generators.☆90Updated this week
- The Try monad (Error/Exceptional monad) for C#☆60Updated last year
- A Roslyn based C# source generation framework☆133Updated 5 months ago
- A Roslyn analyzer to improve the experience when working with nullable reference types.☆54Updated 5 months ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆248Updated last month
- C# interface-to-member source generator☆85Updated 3 months ago
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆67Updated last month
- A set of source generators for equality, immutability, ...☆90Updated 2 years ago
- ISLE (Interpolated String Logging Extensions) is a library that allows developers to perform structured logging using interpolated string…☆50Updated last month
- ☆28Updated 2 years ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆50Updated 2 months ago
- Reports diagnostics for C# coding guidelines that are not already covered by Resharper.☆148Updated last year
- A unit test generation extension for Visual Studio that aims to always produce code that compiles - covering the basic cases automaticall…☆92Updated 5 months ago
- JSON diff tool for .NET☆55Updated 2 years ago
- A source code only package which allows you to use C# 9's init and record features in older target frameworks like .NET Standard 2.0 or t…☆112Updated 3 years ago
- Generates reference assemblies where all the internal types & members become public, and applies the IgnoresAccessChecksTo attribute☆200Updated last week
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- A low-level library for interacting with PDF files☆95Updated last year
- Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…☆83Updated 7 months ago
- Helps find those run-time assembly issues☆75Updated 8 years ago
- A dotnet tool for managing Verify snapshots.☆40Updated last year