Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Swift Z3

A Swift wrapper over Microsoft's Z3 Theorem Prover
Stars
6
License
mit
Open Issues
0
Most Recent Commit
a year ago
Programming Language
C++
Categories
Site
Repo
Suggest An Alternative To swift-z3
Popular Microsoft Projects
Vscode ⭐ 158,028
Visual Studio Code
dependent packages 162total releases 758latest release December 03, 2023most recent commit a month agonpm monaco-editor-core} Downloads
Popular Type Safety Projects
Ts Toolbelt ⭐ 6,011
👷 TypeScript's largest type utility library
dependent packages 973total releases 928latest release March 10, 2021most recent commit a year agonpm ts-toolbelt} Downloads
Slonik ⭐ 4,154
A Node.js PostgreSQL client with runtime and build time type safety, and composable SQL.
dependent packages 88total releases 340latest release October 31, 2023most recent commit 7 months agonpm slonik} Downloads
Returns ⭐ 3,083
Make your functions return something meaningful, typed, and safe!
dependent packages 58total releases 23latest release August 26, 2023most recent commit 4 months agopypi returns} Downloads
Pgtyped ⭐ 2,700
pgTyped - Typesafe SQL in TypeScript
dependent packages 7total releases 33latest release October 07, 2023most recent commit 4 months agonpm @pgtyped/wire} Downloads
Hegel ⭐ 2,087
An advanced static type checker
dependent packages 4total releases 42latest release June 10, 2020most recent commit 7 months agonpm @hegel/cli} Downloads
Popular Companies Categories
Google
Microsoft
Amazon
Apple
Intel
Oracle
Nvidia
Ibm
Netlify
Elastic
Related Searches
C Plus Plus Microsoft
C Plus Plus Swift
Swift Microsoft
C Plus Plus Type Safety
Swift Type Safety
C Plus Plus Z3

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Swift
Microsoft
Type Safety
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.