RicardoNiepel / Z3.LinqBindingLinks
LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
☆14Updated 3 years ago
Alternatives and similar repositories for Z3.LinqBinding
Users that are interested in Z3.LinqBinding are comparing it to the libraries listed below
Sorting:
- Making .NET open source accessible!☆26Updated 7 years ago
- High-performance .NET regex engine with predictable performance☆48Updated 2 years ago
- Metadata-based part discovery for MEF, uses the Roslyn metadata reader and is faster than reflection.☆18Updated 9 years ago
- ☆61Updated 6 months ago
- Simple tools for working with immutable trees☆60Updated this week
- .NET bindings for native numerical computing☆31Updated 7 years ago
- Scratch pad for various expression tree improvements.☆83Updated 3 years ago
- This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.☆14Updated 9 years ago
- Efficient implementations of standard .NET collection interfaces using tree data structures☆46Updated 4 years ago
- Model-checker for lock and wait free C# code☆77Updated 7 years ago
- Benchmarks showing the difference between the naive intrinsics usage and the optimized code that takes advantage of alignment and pipelin…☆12Updated 7 years ago
- A logger for MSBuild that sends event data over anonymous or named pipes.☆23Updated last year
- A metacompiler to extend C# via transpiling.☆32Updated 8 years ago
- Loyc LL(k) Parser Generator for C# - Examples☆12Updated 9 years ago
- A Roslyn inspired rewrite of NQuery☆75Updated last year
- Tool that dumps the evaluated values of all properties and items for a project without building it.☆51Updated last month
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆39Updated 2 months ago
- A small F# application to visualize .net assembly dependencies☆22Updated 4 years ago
- A C# parser combinator library☆19Updated 4 years ago
- Analyse Memory Dumps looking at .NET String types☆30Updated 9 years ago
- Diff a given msbuild-based project with the default values that come from the .NET SDK☆54Updated 2 years ago
- Repository pattern with POCO object support for storing to Azure / Cosmos DB Table Storage☆27Updated this week
- A Visual Studio Extension with a tool window for viewing and editing the contents of Visual Studio's Settings Store.☆34Updated 3 years ago
- Parser for arithmetic expressions☆21Updated 4 years ago
- .NET library to work with Git repositories☆34Updated this week
- XPathParser: XPath parser in C# source code.☆19Updated 3 years ago
- Helper objects to browse complex structures returned by ClrMD☆64Updated last year
- ☆40Updated 8 years ago
- Package to make writing MSBuild extensions easier that work both with MSBuild Core and MSBuild (Full).☆24Updated 5 years ago
- Sln parser☆14Updated 4 years ago