RicardoNiepel / Z3.LinqBindingView external linksLinks
LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
☆14Nov 23, 2021Updated 4 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:
- Azure Function to monitor the price of coins on Bittrex and notify via SMS when a threshold is crossed. Leverages Azure Durable Functions…☆16Jan 11, 2018Updated 8 years ago
- F# client library for the Neo4j graph database.☆13May 6, 2014Updated 11 years ago
- Exploration of using new .NET SDK-style projects with ASP.NET (System.Web) projects☆15Dec 9, 2022Updated 3 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Sep 30, 2015Updated 10 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆41Jul 23, 2025Updated 6 months ago
- Automata and transducer library for .NET☆82Jul 21, 2020Updated 5 years ago
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Nov 1, 2013Updated 12 years ago
- Catify your html page☆26Feb 6, 2015Updated 11 years ago
- Example to demonstrate local nuget packages☆22Nov 11, 2020Updated 5 years ago
- Vectorized generic dictionary prototype☆26Dec 10, 2024Updated last year
- A full sample that shows how to implement real-time updated Materalized Views with CosmosDB, Change Feed and Azure Functions☆25Sep 24, 2019Updated 6 years ago
- The NuGet search CLI app☆24May 26, 2020Updated 5 years ago
- A benchmark comparing WPF and other text rendering methods for speed☆30Jan 27, 2013Updated 13 years ago
- A sample VS 14 editor extension that uses the Roslyn APIs to highlight parameter variables and field variables in C#/VB code.☆25Jul 21, 2015Updated 10 years ago
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years ago
- ☆13Aug 5, 2025Updated 6 months ago
- ☆32Dec 28, 2016Updated 9 years ago
- Making .NET open source accessible!☆26Dec 12, 2017Updated 8 years ago
- A reader for Serilog's compact JSON format☆34Dec 10, 2024Updated last year
- Computer Algebra System for .Net☆88Dec 15, 2024Updated last year
- A Piece Table data structure implementation in C#☆31Feb 21, 2022Updated 3 years ago
- ☆39Jul 3, 2017Updated 8 years ago
- Total Commander plugin for Azure Blob service☆17May 9, 2015Updated 10 years ago
- Example application for creating an MVC Express + Node + TypeScript app and deploying it to Azure☆10Nov 8, 2018Updated 7 years ago
- ☆13Mar 12, 2019Updated 6 years ago
- A plugin for EPiServer CMS that maps classes to page types.☆30Sep 30, 2015Updated 10 years ago
- ☆11Jun 23, 2022Updated 3 years ago
- A starter template for creating web applications with Google Apps Script & Svelte☆10Oct 20, 2023Updated 2 years ago
- M scripts, samples, and demos☆35Jun 10, 2019Updated 6 years ago
- Short'n'sweet SQL Server/PostgreSQL/MySQL schema migration library☆43Dec 8, 2025Updated 2 months ago
- SPIR-V generator for .NET IL☆33Apr 1, 2015Updated 10 years ago
- A unit test framework for Databricks notebooks☆12Dec 8, 2020Updated 5 years ago
- A compilation of the latest and greatest additions of .NET 6 and C# 10☆12Nov 13, 2021Updated 4 years ago
- Basic project setup and scaffolding for creating serverless web applications based on Azure Durable Entities, Azure SignalR Service, Reac…☆12Mar 4, 2023Updated 2 years ago
- C# OIDC (and optionally AuthCode, S2S) multi-service authentication sample.☆10Dec 22, 2022Updated 3 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Dynatrace FM-Index library☆15Nov 11, 2025Updated 3 months ago
- ☆10Mar 3, 2023Updated 2 years ago
- SVA-DSI Fall 2017 - basic course repository for syllabus, slides, materials☆13Dec 7, 2017Updated 8 years ago