Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Z3.linq

LINQ bindings for the Z3 theorem prover from Microsoft Research.
Stars
28
License
mit
Open Issues
6
Most Recent Commit
5 months ago
Programming Language
C#
Total Downloads
nuget Z3.Linq Downloads
Dependent Packages
1
Total Releases
4
Latest Release
February 15, 2022
Categories
Repo
Alternatives To Z3.linq
Select To Compare
Unirx ⭐ 6,818
Reactive Extensions for Unity
total releases 8most recent commit 4 months ago
Reactive ⭐ 6,319
The Reactive Extensions for .NET
dependent packages 1,790total releases 37most recent commit 4 months agonuget System.Reactive} Downloads
Jooq ⭐ 5,802
jOOQ is the best way to write SQL in Java
dependent packages 360total releases 211most recent commit 4 months ago
Morelinq ⭐ 3,596
Extensions to LINQ to Objects
dependent packages 367total releases 49most recent commit 9 days agonuget morelinq} Downloads
Go Linq ⭐ 3,443
.NET LINQ capabilities in Go
dependent packages 88total releases 5most recent commit 2 years ago
Macropy ⭐ 2,923
Macros in Python: quasiquotes, case classes, LINQ and more!
dependent packages 5total releases 4most recent commit 4 years agopypi macropy3} Downloads
Linq2db ⭐ 2,807
Linq to database provider.
dependent packages 134total releases 139most recent commit 4 months agonuget linq2db} Downloads
Zio Quill ⭐ 2,135
Compile-time Language Integrated Queries for Scala
dependent packages 20total releases 98most recent commit a month ago


Suggest An Alternative To Z3.Linq
Popular Data Processing Categories
Jupyter Notebook
Dataset
Sql
Validation
Pipeline
Translation
Data Science
Classification
Transaction
Scraper
Related Searches
C Sharp Linq

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Sharp
Linq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.