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:
- F# client library for the Neo4j graph database.☆13May 6, 2014Updated 12 years ago
- LINQ bindings for the Z3 theorem prover from Microsoft Research.☆43Sep 2, 2026Updated last month
- ASN.1 parser used by PeNet do parse Authenticode signatures☆14Apr 11, 2025Updated last year
- Malformed Access Log to CSV - Convert Web Server Access Logs to CSV☆18Sep 3, 2024Updated 2 years ago
- Vectorized generic dictionary prototype☆27Dec 10, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Connected Data London 2025 Masterclass: Combining Data from Structured and Unstructured Sources to create High-Quality Knowledge Graphs☆16Jan 30, 2026Updated 8 months ago
- Collection of scripts for use with Carbon Black Cb Response API☆14May 7, 2022Updated 4 years ago
- Computer Algebra System for .Net☆91Dec 15, 2024Updated last year
- 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 9 years ago
- Pattern matching support for System.Linq.Expressions.☆10Jul 17, 2025Updated last year
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Nov 1, 2013Updated 12 years ago
- ☆14Jan 26, 2023Updated 3 years ago
- A C# Library to work with the Win32 DeviceIOControl method☆52Updated this week
- Automata and transducer library for .NET☆83Jul 21, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Implemented Photoshop like pen tool using bezier curves from scratch.☆12May 16, 2016Updated 10 years ago
- Web-based Viewer for ETL and NetPerf Data☆34Apr 29, 2022Updated 4 years ago
- Lookup file hashes, domain names and IP addresses using various vendors to assist with triaging potential threats.☆30Sep 2, 2026Updated last month
- Analyzers for Portable Executable anomalies and other malware behavior.☆33Oct 1, 2026Updated last week
- Making .NET open source accessible!☆26Dec 12, 2017Updated 8 years ago
- ☆23Mar 25, 2025Updated last year
- Paper: Simple way of state based function composition.☆12Aug 13, 2022Updated 4 years ago
- The NuGet search CLI app☆24May 26, 2020Updated 6 years ago
- Generates dart:ffi bindings using the libclang AST☆18Jun 25, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A procedurally generated, cave-like dungeon/map creator for rogue-like games using the cellular automata method. During its development, …☆31Jun 7, 2020Updated 6 years ago
- Fun 3D: Composing 3D objects with F#☆11Oct 29, 2024Updated last year
- Unpacks Microsoft LZNT1-compressed files by calling RtlDecompressBuffer☆13Sep 10, 2014Updated 12 years ago
- C# parser for .NET & Mono stack traces☆52Nov 25, 2020Updated 5 years ago
- Automatically exported from code.google.com/p/windbgshark☆11Jul 1, 2015Updated 11 years ago
- SPIR-V generator for .NET IL☆34Apr 1, 2015Updated 11 years ago
- Some scripts to use with Dain-App☆13May 11, 2020Updated 6 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 3 years ago
- Dumping ground for whatever IDA Pro scripts I write☆16Oct 9, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Fork of the .net port of GWEN - GUI Without Extravagant Nonsense☆11Feb 26, 2013Updated 13 years ago
- Chia is a F# library which contains HelperFunctions for reporting, logging and Azure cloud operations.☆12Jan 6, 2023Updated 3 years ago
- A .NET port of https://github.com/jongracecox/anybadge written in F#.☆14Jan 4, 2024Updated 2 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Message Broker over QUIC☆12Oct 28, 2023Updated 2 years ago
- ☆32Dec 28, 2016Updated 9 years ago
- Arbitrary precision rational number class☆36Sep 30, 2026Updated 2 weeks ago