Alternatives and similar repositories for swift-z3

Users that are interested in swift-z3 are comparing it to the libraries listed below

• jerrodputman / swift-picosystem-example
  An example project using Embedded Swift on a Pimoroni PicoSystem
  ☆11Updated last year
• Gabardone / swift-resource-provider
  A simple modular asynchronous data flow and caching solution for Swift.
  ☆18Updated 6 months ago
• heckj / Lindenmayer
  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
• ph1ps / swift-concurrency-limiter
  ☆15Updated 3 months ago
• swift-server-community / vscode-aws-lambda-swift-sam
  A VSCode extension to help developing, testing, and deploying Swift functions on AWS Lambda
  ☆17Updated 3 weeks ago
• valeriyvan / swift-geometrize
  A Swift package that recreates images using geometric primitives, outputting them as SVG files
  ☆18Updated last month
• brightdigit / SyntaxKit
  More Friendly SwiftSyntax API
  ☆56Updated this week
• 0xWDG / Colors
  Colors is a Swift Package to enable all system colors in SwiftUI trough a Color extension. Colors which were previously only available in…
  ☆33Updated 4 months ago
• HdrHistogram / hdrhistogram-swift
  Swift port of HdrHistogram
  ☆35Updated 2 months ago
• kylehughes / Weakify
  A simple, ergonomic solution for safely capturing method references in Swift.
  ☆23Updated last month
• SDGGiesbrecht / SDGSwift
  The Swift Compiler As a Package
  ☆68Updated 9 months ago
• schwa / RedisConnection
  A Swift Concurrency based implementation of the Redis Protocol
  ☆13Updated 7 months ago
• mierau / swift-databuilder
  A Swift library that uses result builders to allow you to construct Data objects from various Swift data types.
  ☆21Updated 11 months ago
• JonPulfer / swiftodon
  ActivityPub server capable of federating with Mastodon
  ☆23Updated 2 months ago
• swiftlang / swift-evolution-metadata-extractor
  JSON metadata generator for Swift Evolution dashboard.
  ☆16Updated 3 months ago
• ChimeHQ / TextFormation
  Rules system for live typing completions
  ☆56Updated 3 weeks ago
• stefanspringer1 / SwiftXML
  A library written in Swift to process XML
  ☆22Updated this week
• martiall / swift-nonreentrant-actor
  Macro to implement some kind of non-reentrant actor in Swift
  ☆11Updated 9 months ago
• obrhoff / SwimplyCache
  LRU Cache written in Swift.
  ☆21Updated 4 years ago
• chriseidhof / dynamic-type
  ☆14Updated 5 months ago
• carson-katri / griddle
  A word game created with Tokamak
  ☆20Updated 2 years ago
• KhaosT / UIExtensionExample
  ExtensionKit demo for iOS 26
  ☆39Updated last week
• swhitty / IdentifiableContinuation
  Swift continuation that conforms to Identifiable and includes a cancellation handler.
  ☆27Updated 3 weeks ago
• ph1ps / swift-concurrency-retry
  A retry algorithm for Swift Concurrency
  ☆56Updated 2 months ago
• ThomasCle / events
  Concurrency-safe event broadcasting using Swift's modern actor model. Designed for simplicity. Built for Swift concurrency.
  ☆30Updated 3 weeks ago
• elegantchaos / Runner
  Swift helper for launching subprocesses and capturing their output.
  ☆12Updated 9 months ago
• mattcox / Pack
  A Swift package to serialize and deserialize various data types into an external representation.
  ☆10Updated last year
• swiftlang / swift-toolchain-sqlite
  Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.
  ☆26Updated last week
• brightdigit / Sublimation
  Enable automatic discovery of your local development server on the fly. Turn your Server-Side Swift app from a mysterious vapor to a tang…
  ☆23Updated 8 months ago
• audulus / Anodize
  Type safety for Metal 🤘
  ☆36Updated last month