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…
  ☆42Updated 3 months ago
• ChimeHQ / TextFormation
  Rules system for live typing completions
  ☆54Updated last week
• Arclite / Halloween2024
  Build Swift apps with just text!
  ☆17Updated 7 months ago
• obrhoff / SwimplyCache
  LRU Cache written in Swift.
  ☆21Updated 4 years ago
• bradhowes / swift-math-parser
  Math expression parser built with Point•Free's swift-parsing package
  ☆61Updated 9 months ago
• HdrHistogram / hdrhistogram-swift
  Swift port of HdrHistogram
  ☆35Updated 2 months ago
• Gabardone / swift-resource-provider
  A simple modular asynchronous data flow and caching solution for Swift.
  ☆18Updated 6 months ago
• marcusrossel / data-field
  A SwiftUI view that wraps a text field to only accept specific data.
  ☆13Updated 4 years ago
• dfunckt / swift-futures
  Demand-driven asynchronous programming in Swift
  ☆32Updated 4 years ago
• SDGGiesbrecht / SDGSwift
  The Swift Compiler As a Package
  ☆68Updated 9 months 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 3 months ago
• swiftlang / swift-evolution-metadata-extractor
  JSON metadata generator for Swift Evolution dashboard.
  ☆16Updated 3 months ago
• junebash / swift-lark
  A game engine built with SDL and Swift.
  ☆43Updated last year
• chriseidhof / dynamic-type
  ☆14Updated 4 months ago
• Cocoanetics / SwiftMail
  Swift Mail Access to IMAP and SMTP
  ☆24Updated 2 weeks ago
• ph1ps / swift-concurrency-limiter
  ☆11Updated 2 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
  ☆55Updated 2 weeks ago
• schwa / RedisConnection
  A Swift Concurrency based implementation of the Redis Protocol
  ☆13Updated 7 months ago
• mattmassicotte / Lock
  A lock for Swift concurrency
  ☆65Updated 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
• noeticgarden / experimentsboard
  A Swift module to quickly experiment with values without leaving an app.
  ☆10Updated 6 months ago
• jerrodputman / swift-picosystem-example
  An example project using Embedded Swift on a Pimoroni PicoSystem
  ☆11Updated last year
• Macro-swift / MacroExpress
  An unopinionated SwiftNIO based web framework, Express.js/Connect like.
  ☆60Updated 2 weeks ago
• mgriebling / BigDecimal
  Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.
  ☆35Updated 7 months ago
• owensd / swift-lsp
  A Swift implementation of the LanguageServerProtocol spec.
  ☆33Updated 7 years ago
• danielpunkass / MagicLoading
  Reference implementation of property wrapper like Apple's @ViewLoading
  ☆29Updated last year
• kylehughes / Weakify
  A simple, ergonomic solution for safely capturing method references in Swift.
  ☆23Updated last week
• engali94 / ax-editor
  Ax is a code editor with syntax highlighting that runs in your terminal written completely in Swift.
  ☆44Updated 3 years ago
• mattcox / Pack
  A Swift package to serialize and deserialize various data types into an external representation.
  ☆9Updated last year