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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆42Jul 23, 2025Updated 11 months ago
- YARA duplicate rule detection and removal. YARA rule index creation. YARA rule file merger.☆10Jan 19, 2026Updated 5 months ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- Collection of scripts for use with Carbon Black Cb Response API☆14May 7, 2022Updated 4 years ago
- This Open Toolkit library is a fast, low-level C# wrapper for OpenGL and OpenAL. It can be used standalone or inside a GUI on Windows, Li…☆13Aug 5, 2017Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆14Jan 26, 2023Updated 3 years ago
- Exploration of using new .NET SDK-style projects with ASP.NET (System.Web) projects☆15Dec 9, 2022Updated 3 years ago
- Automata and transducer library for .NET☆82Jul 21, 2020Updated 5 years ago
- A C# HTML parsing library supporting CSS selectors for querying.☆21Feb 28, 2009Updated 17 years ago
- Analyzers for Portable Executable anomalies and other malware behavior.☆33Jun 25, 2026Updated last week
- Making .NET open source accessible!☆26Dec 12, 2017Updated 8 years ago
- Fun 3D: Composing 3D objects with F#☆11Oct 29, 2024Updated last year
- CSS parsing library for C# based on Mozilla Firefox code [MPL]☆78Jul 18, 2015Updated 10 years ago
- Implemented Photoshop like pen tool using bezier curves from scratch.☆11May 16, 2016Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Generates dart:ffi bindings using the libclang AST☆18Jun 25, 2019Updated 7 years ago
- A proof of concept of PVRTC texture decompression done entirely on CPU.☆17Dec 16, 2011Updated 14 years ago
- The NuGet search CLI app☆24May 26, 2020Updated 6 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 9 years ago
- ☆13Aug 5, 2025Updated 11 months ago
- C# parser for .NET & Mono stack traces☆52Nov 25, 2020Updated 5 years ago
- Chia is a F# library which contains HelperFunctions for reporting, logging and Azure cloud operations.☆12Jan 6, 2023Updated 3 years ago
- Extensions for Azure Durable Functions for strongly typed activity calls.☆15Jan 14, 2026Updated 5 months ago
- Some scripts to use with Dain-App☆13May 11, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆19Dec 20, 2016Updated 9 years ago
- An Unreal Engine 4 plugin for ELIAS.☆12Jul 27, 2015Updated 10 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Arbitrary precision rational number class☆35Apr 3, 2026Updated 3 months ago
- A .NET port of https://github.com/jongracecox/anybadge written in F#.☆14Jan 4, 2024Updated 2 years ago
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆48Mar 4, 2022Updated 4 years ago
- Fork of the .net port of GWEN - GUI Without Extravagant Nonsense☆11Feb 26, 2013Updated 13 years ago
- A BERT serializer and BERT-RPC client for .Net, written in F#☆29Apr 4, 2016Updated 10 years ago
- Image comparison tests for PowerBI CV☆14Jun 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A .NET implementation of a parser for the KDL document language.☆34Nov 21, 2022Updated 3 years ago
- A benchmark comparing WPF and other text rendering methods for speed☆31Jan 27, 2013Updated 13 years ago
- Simple DSL to solve SMT problems using Z3 API in F#☆54Feb 23, 2019Updated 7 years ago
- Consume native libraries from .NET by adding as embedded resources.☆11Jan 9, 2024Updated 2 years ago
- Guide Mate is a Figma plugin which helps you to add condition based grids to your designs.☆15Dec 4, 2022Updated 3 years ago
- Fable Formlets (Applicative Functor Forms kind of)☆14Dec 2, 2018Updated 7 years ago
- A component to cluster map markers.☆19Oct 20, 2020Updated 5 years ago