LuizZak / swift-z3Links
A Swift wrapper over Microsoft's Z3 Theorem Prover
☆12Updated 7 months ago
Alternatives and similar repositories for swift-z3
Users that are interested in swift-z3 are comparing it to the libraries listed below
Sorting:
- A Prolog-like language as a Swift Embedded Domain Specific Language.☆61Updated 3 years ago
- A swift library that implements a parametric Lindenmayer system and related SwiftUI views for presentation of the results of your systems…☆42Updated 4 months ago
- The Swift Compiler As a Package☆68Updated 10 months ago
- LRU Cache written in Swift.☆21Updated 4 years ago
- Raft protocol implementation in Swift☆27Updated 4 years ago
- Lexing library for Swift☆41Updated 2 months ago
- Swift Game Engine and Entity Component System inspired by Redux and Composable Architecture☆23Updated 2 years ago
- DNS-SD (Bonjour/Zeroconf/Avahi) implementation of the Swift Service Discovery API☆30Updated last year
- Swift implementation of Force Directed Graphs☆23Updated 9 years ago
- A Swift package that recreates images using geometric primitives, outputting them as SVG files☆18Updated last month
- Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.☆28Updated last week
- Swift Code Generator for Godot Scenes — renders typed descriptions of each node in a godot project's scene files.☆21Updated last year
- A Swift implementation of the LanguageServerProtocol spec.☆33Updated 7 years ago
- Swift port of HdrHistogram☆35Updated last week
- A word game created with Tokamak☆20Updated 2 years ago
- Are we server yet? A simple reckoning of Swift’s readiness for Server-related things. Inspired by arewewebyet.org☆38Updated 2 years ago
- CRDT implementation in Swift, Last Write Win☆45Updated 7 years ago
- Build Swift Macros with WebAssembly☆68Updated last year
- OpenCombine helpers for JavaScriptKit/WebAssembly APIs☆32Updated 3 years ago
- Math expression parser built with Point•Free's swift-parsing package☆62Updated 11 months ago
- A command-line utility for tagging part of speech for words in text.☆40Updated 5 years ago
- More Friendly SwiftSyntax API☆73Updated 2 weeks ago
- A pure Swift NFA implementation of a regular expression engine☆28Updated 7 years ago
- Convergent and Commutative Replicated Data Types implementation in Swift☆27Updated 5 years ago
- ☆28Updated last year
- A lock for Swift concurrency☆66Updated 9 months ago
- Swift WebAssembly runtime powered by WAMR☆34Updated 4 years ago
- Support for Server-Sent Events on AsyncSequences☆30Updated 10 months ago
- ActivityPub server capable of federating with Mastodon☆23Updated 3 months ago
- An arithmagick overhaul in Swift☆15Updated last year