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:
- 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
- Perform Matter device commissioning and control using .Net☆22Jul 4, 2025Updated 8 months ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆42Jul 23, 2025Updated 7 months ago
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 5 years ago
- Documation repository for the documantation of my Community projects☆11Sep 3, 2024Updated last year
- Catify your html page☆26Feb 6, 2015Updated 11 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
- Example to demonstrate local nuget packages☆22Nov 11, 2020Updated 5 years ago
- 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
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- The NuGet search CLI app☆24May 26, 2020Updated 5 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 benchmark comparing WPF and other text rendering methods for speed☆30Jan 27, 2013Updated 13 years ago
- Web-based Viewer for ETL and NetPerf Data☆34Apr 29, 2022Updated 3 years ago
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years ago
- ☆13Aug 5, 2025Updated 7 months ago
- Making .NET open source accessible!☆26Dec 12, 2017Updated 8 years ago
- ☆32Dec 28, 2016Updated 9 years ago
- A reader for Serilog's compact JSON format☆34Dec 10, 2024Updated last year
- Kompletní zdrojový kód pro web hlidacstatu.cz. Pomozte nám rozvíjet a vylepšovat jeden z největších a nejdůležitějších serverů pro transp…☆32Updated this week
- Computer Algebra System for .Net☆88Dec 15, 2024Updated last year
- ☆39Jul 3, 2017Updated 8 years ago
- A Piece Table data structure implementation in C#☆31Feb 21, 2022Updated 4 years ago
- Graph.dll deobfuscated☆16May 15, 2021Updated 4 years ago
- Framework and samples to help accelerate WOPI Server implementation.☆11Jan 27, 2018Updated 8 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆15Oct 5, 2023Updated 2 years ago
- Example application for creating an MVC Express + Node + TypeScript app and deploying it to Azure☆10Nov 8, 2018Updated 7 years ago
- A plugin for EPiServer CMS that maps classes to page types.☆30Sep 30, 2015Updated 10 years ago
- A starter template for creating web applications with Google Apps Script & Svelte☆10Oct 20, 2023Updated 2 years ago
- Template project for Bow and Arrow series.☆11Jun 12, 2019Updated 6 years ago
- Total Commander plugin for Azure Blob service☆17May 9, 2015Updated 10 years ago
- ☆13Mar 12, 2019Updated 6 years ago
- ☆11Jun 23, 2022Updated 3 years ago
- Exercises and sample code for a C# SIMD (vectorization) workshop☆38Oct 11, 2017Updated 8 years ago
- Short'n'sweet SQL Server/PostgreSQL/MySQL schema migration library☆44Dec 8, 2025Updated 2 months ago
- M scripts, samples, and demos☆36Jun 10, 2019Updated 6 years ago
- SPIR-V generator for .NET IL☆33Apr 1, 2015Updated 10 years ago
- C# OIDC (and optionally AuthCode, S2S) multi-service authentication sample.☆10Dec 22, 2022Updated 3 years ago