A Swift wrapper over Microsoft's Z3 Theorem Prover
☆16Oct 25, 2026Updated last week
Alternatives and similar repositories for swift-z3
Users that are interested in swift-z3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Swift package that recreates images using geometric primitives, outputting them as SVG files☆21Nov 5, 2025Updated 11 months ago
- YTÜ Matematik Mühendisliği dersleri için hazırlanmış not, slayt ve çıkmış sınav arşivi. Archive of lecture notes, slides and past exams …☆24Aug 9, 2026Updated 2 months ago
- VVDevKit is a Metal-based rendering framework for macOS/iOS with batteries included: VVCode, VVMarkdown, VVMetalPrimitives, VVChatTimelin…☆17Aug 1, 2026Updated 3 months ago
- A cross-platform package for spawning processes in Swift. It's like Foundation.Process, but written for Swift and build on top of struct…☆47Apr 22, 2025Updated last year
- Programmatic access to the Simulator app.☆20Nov 14, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Zero dependency enterprise grade TypeScript implementation of various activation functions with references.☆13Apr 22, 2026Updated 6 months ago
- PolyVerif AV Validation Suite☆16May 6, 2025Updated last year
- Vite Plugin for building Swift apps that run in the browser☆14Aug 21, 2026Updated 2 months ago
- This repository is a modified version of the 3D Platformer Starter Kit originally created by Kenney, adapted to showcase the usage of Swi…☆49Feb 18, 2025Updated last year
- Offline, airgap-ready geocoder written in Rust.☆15Updated this week
- Make multi-feature, multi-target macOS Help Books for macOS applications☆17May 16, 2021Updated 5 years ago
- Swift package containing Iconoir icons.☆18Mar 26, 2024Updated 2 years ago
- Generate and validate license codes☆14Sep 24, 2022Updated 4 years ago
- 📲 CoreBluetooth API's for modern Swift☆21Dec 19, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is a demo project for Write WebAssembly in Swift and use it in Swift App☆16Jun 11, 2022Updated 4 years ago
- Dealing with different date formats is always painful. This little library should help you do it a little better. Especially with ISO8601…☆10Oct 18, 2023Updated 3 years ago
- Produce GTFS-realtime data from a SIRI data source.☆13Apr 11, 2022Updated 4 years ago
- Arbitrary-precision decimal arithmetic in Swift with full math functions and fixed-precision Decimal 32-, 64-, and 128-bit types.☆44Oct 16, 2024Updated 2 years ago
- [DEPRECATED – NOT MAINTAINED] This is an advanced, easy to use library for NSTextField & NSTextView supporting syntax highlight, tokens (…☆32Jul 14, 2014Updated 12 years ago
- ☆14Apr 1, 2016Updated 10 years ago
- With this library, you can embed Python to your Java or Scala project. The main purpose of this library is to use Python libraries from J…☆12Aug 25, 2024Updated 2 years ago
- Simple Pomodoro Mac App with TCA☆15May 22, 2022Updated 4 years ago
- A light png to icns converter written in shell for macOS☆12Feb 13, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Extensible, persistent, structured configuration for Ruby☆16Jun 2, 2011Updated 15 years ago
- ☆11Oct 31, 2023Updated 3 years ago
- Webhooks for Firebase☆11Jun 6, 2015Updated 11 years ago
- Concurrent shell scripting framework with deep support for async/await.☆67Oct 16, 2026Updated 2 weeks ago
- programmatically create promo codes for your app store connect apps☆15Aug 24, 2021Updated 5 years ago
- [WIP] Write Metal in Swift☆13Jun 15, 2023Updated 3 years ago
- A Swift package for seamless integration with OpenAI's API, enabling advanced chat capabilities and token management in your applications☆35Jul 25, 2024Updated 2 years ago
- NaLaMap is an open-source application to create webmaps and analyze geospatial data using natural language.☆20Oct 24, 2026Updated last week
- Programmers Text Editor☆15Jun 13, 2013Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rescuing the SOUL great logic meta programming language☆12Oct 7, 2018Updated 8 years ago
- ActivityPub server capable of federating with Mastodon☆28Oct 8, 2025Updated last year
- A search engine for OpenStreetMap☆14May 16, 2024Updated 2 years ago
- Common game translations from https://love2d.org/forums/viewtopic.php?f=4&t=78754&start=50☆11Jul 14, 2016Updated 10 years ago
- Library for enhancing Swift's Date handling by enabling type-level customization of date components☆19Mar 14, 2026Updated 7 months ago
- Effortlessly pass styles between components with the $css rune☆16May 4, 2025Updated last year
- Sinatra boilerplate with Firebase and other goodies for hacking together quick apps and APIs.☆16Apr 20, 2017Updated 9 years ago