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:
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆39Updated last month
- C# immutable records generator☆73Updated 5 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆55Updated 2 years ago
- A unit test generation extension for Visual Studio that aims to always produce code that compiles - covering the basic cases automaticall…☆92Updated 4 months ago
- C# Analyzer Adding Exhaustive Checking of Switch Statements and Expressions☆82Updated last year
- DgmlBuilder is a small DotNet library for generating DGML graphs without having to know all the details of DGML (the Microsoft Directed G…☆65Updated last year
- IL weaver to add nullability annotations to .NET reference assemblies☆70Updated 3 years ago
- A tool to generate SBOM (Software Bill of Material) from source code artifacts.☆67Updated 3 months ago
- Reports diagnostics for C# coding guidelines that are not already covered by Resharper.☆148Updated last year
- ISLE (Interpolated String Logging Extensions) is a library that allows developers to perform structured logging using interpolated string…☆50Updated 6 months ago
- A Roslyn analyzer to improve the experience when working with nullable reference types.☆53Updated 4 months ago
- JSON diff tool for .NET☆53Updated 2 years ago
- Generates valid, readable C# from an Expression Tree.☆169Updated 2 weeks ago
- Suppresses exhaustiveness warnings for switching (switch statement or expression) on closed type hierarchies☆50Updated last month
- AFL-based fuzz testing for .NET☆425Updated 3 months ago
- ☆12Updated 2 years ago
- VS Code extension to monitor .NET Processes for GC information in real time, or drill into .NET DLLs by viewing the IL and compiled code.…☆37Updated last year
- Produce NuPkg files that have .NET Reference assemblies as resources☆114Updated last month
- Qowaiv is a Single Value Object library☆96Updated last week
- The Try monad (Error/Exceptional monad) for C#☆60Updated last year
- A collection of benchmarks for analyzing dotnet code strategies.☆50Updated 3 years ago
- Conceptual repo. Most advanced compile time safe units of measure for C# and F#☆61Updated 3 years ago
- Wrappers around ILoggers (Microsoft Extensions Logging, Serilog, NLog, etc) to accept Interpolated Strings☆88Updated 2 years ago
- Code generator to easily create data builder patterns for your model classes☆117Updated last year
- Immutability is easy!☆52Updated 2 weeks ago
- Practical generic programming for .NET☆241Updated this week
- Performace Profiler/Monitor for .net applications☆20Updated 2 years ago
- Random testing library for C#☆183Updated 3 weeks ago
- Symbolic execution engine for .NET Core☆53Updated 8 months ago
- Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.☆248Updated last week