Alternatives and similar repositories for swift-z3:

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

• heckj / Lindenmayer
  A swift library that implements a parametric Lindenmayer system and related SwiftUI views for presentation of the results of your systems…
  ☆39Updated last month
• Arclite / Halloween2024
  Build Swift apps with just text!
  ☆16Updated 4 months ago
• Swift-ImmutableData / ImmutableData
  Easy State Management for SwiftUI Apps
  ☆13Updated 2 weeks ago
• mattmassicotte / Lock
  A lock for Swift concurrency
  ☆59Updated 5 months ago
• SDGGiesbrecht / SDGSwift
  The Swift Compiler As a Package
  ☆68Updated 6 months ago
• oskarek / swift-json-parsing
  JSON decoding and encoding, using the swift-parsing library
  ☆31Updated last week
• khanlou / SchemaSwift
  Generate Swift structs from PostgreSQL database schema
  ☆26Updated 8 months ago
• heestand-xyz / RGBA
  [WIP] Write Metal in Swift
  ☆13Updated last year
• ChimeHQ / TextFormation
  Rules system for live typing completions
  ☆51Updated last month
• b3ll / Adjustable
  Swift property wrapper to automatically add sliders to adjust values and aid in refining user interfaces, animations, and interactions wi…
  ☆70Updated 9 months ago
• bradhowes / swift-math-parser
  Math expression parser built with Point•Free's swift-parsing package
  ☆61Updated 7 months ago
• wigging / numerix
  Linear algebra and numerical computing with Swift on Apple devices.
  ☆30Updated 2 weeks 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…
  ☆31Updated last month
• audulus / Anodize
  Type safety for Metal 🤘
  ☆34Updated 2 weeks ago
• schwa / RedisConnection
  A Swift Concurrency based implementation of the Redis Protocol
  ☆13Updated 4 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 last year
• MaxDesiatov / SwiftConcurrencyExample
  Experiments with Swift async/await and structured concurrency
  ☆42Updated 4 years ago
• RedECSEngine / RedECS
  Swift Game Engine and Entity Component System inspired by Redux and Composable Architecture
  ☆23Updated 2 years ago
• mattmassicotte / Empire
  A local persistence system for Swift
  ☆71Updated last week
• swiftwasm / WebWorkerKit
  A way of running Swift Distributed Actors in their own worker "thread"
  ☆44Updated 7 months ago
• ChimeHQ / ThemePark
  A Swift library for working with syntax highlighting/IDE themes
  ☆29Updated last month
• ph1ps / swift-concurrency-limiter
  ☆11Updated 2 weeks ago
• CleanCocoa / DeclarativeTextKit
  Swift DSL to perform mutations on e.g. NSTextViews in a declarative style.
  ☆51Updated 2 months ago
• tevelee / swift-graphs
  A composable, extensible library for graph structures with support for a wide range of algorithms
  ☆52Updated 3 months ago
• FredrikSjoberg / ForceDirectedGraph
  Swift implementation of Force Directed Graphs
  ☆23Updated 8 years ago
• engali94 / ax-editor
  Ax is a code editor with syntax highlighting that runs in your terminal written completely in Swift.
  ☆44Updated 3 years ago
• finnvoor / StaticLogger
  A Swift macro for automatically adding Loggers to types
  ☆54Updated last year
• mgriebling / BigDecimal
  Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.
  ☆34Updated 5 months ago
• chriseidhof / dynamic-type
  ☆12Updated 2 months ago
• m-housh / swift-tca-loadable
  ☆28Updated 11 months ago