Alternatives and similar repositories for swift-z3

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

• SDGGiesbrecht / SDGSwift
  The Swift Compiler As a Package
  ☆68Updated 8 months ago
• JonPulfer / swiftodon
  ActivityPub server capable of federating with Mastodon
  ☆23Updated 3 weeks ago
• noeticgarden / experimentsboard
  A Swift module to quickly experiment with values without leaving an app.
  ☆9Updated 5 months ago
• HdrHistogram / hdrhistogram-swift
  Swift port of HdrHistogram
  ☆35Updated last month
• RedECSEngine / RedECS
  Swift Game Engine and Entity Component System inspired by Redux and Composable Architecture
  ☆23Updated 2 years ago
• swiftlang / swift-evolution-metadata-extractor
  JSON metadata generator for Swift Evolution dashboard.
  ☆14Updated 2 months ago
• Gabardone / swift-resource-provider
  A simple modular asynchronous data flow and caching solution for Swift.
  ☆18Updated 5 months ago
• jerrodputman / swift-picosystem-example
  An example project using Embedded Swift on a Pimoroni PicoSystem
  ☆11Updated last year
• obrhoff / SwimplyCache
  LRU Cache written in Swift.
  ☆21Updated 4 years ago
• 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 2 months ago
• mattcox / Pack
  A Swift package to serialize and deserialize various data types into an external representation.
  ☆9Updated 11 months ago
• wigging / numerix
  Linear algebra and numerical computing with Swift on Apple devices.
  ☆31Updated last week
• mgriebling / BigDecimal
  Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.
  ☆35Updated 6 months ago
• m-housh / swift-tca-loadable
  ☆28Updated last year
• bradhowes / swift-math-parser
  Math expression parser built with Point•Free's swift-parsing package
  ☆61Updated 8 months ago
• brokenhandsio / are-we-server-yet
  Are we server yet? A simple reckoning of Swift’s readiness for Server-related things. Inspired by arewewebyet.org
  ☆38Updated 2 years ago
• Swift-ImmutableData / ImmutableData
  Easy State Management for SwiftUI Apps
  ☆13Updated this week
• swhitty / swift-mutex
  Cross platform lock backporting the Swift 6 Mutex API to earlier platforms
  ☆40Updated 3 weeks ago
• Cocoanetics / SwiftMail
  Swift Mail Access to IMAP and SMTP
  ☆22Updated 3 weeks ago
• carson-katri / griddle
  A word game created with Tokamak
  ☆19Updated 2 years ago
• dfunckt / swift-futures
  Demand-driven asynchronous programming in Swift
  ☆32Updated 4 years ago
• swiftlang / swift-toolchain-sqlite
  Copy of SQLite for use by clients within the Swift toolchain. This is not a general-purpose wrapper for SQLite.
  ☆23Updated last week
• steventroughtonsmith / catalystvideogrid
  Catalyst example of a grid-based video app that opens videos in secondary windows
  ☆21Updated 3 years ago
• swhitty / IdentifiableContinuation
  Swift continuation that conforms to Identifiable and includes a cancellation handler.
  ☆27Updated 3 weeks ago
• mattmassicotte / Lock
  A lock for Swift concurrency
  ☆63Updated 7 months ago
• davedelong / mach
  A Swift package for reading Mach-O files
  ☆24Updated 4 months ago
• kabiroberai / Wacro
  Build Swift Macros with WebAssembly
  ☆68Updated last year
• tevelee / swift-graphs
  A composable, extensible library for graph structures with support for a wide range of algorithms
  ☆53Updated 4 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…
  ☆41Updated 2 months ago
• valeriyvan / swift-geometrize
  Swift package for recreating images as geometric primitives in form of SVG files
  ☆18Updated 6 months ago