Ruby bindings for Z3 constraint solver library
☆75Sep 18, 2026Updated this week
Alternatives and similar repositories for z3
Users that are interested in 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:
- MRuby binding for TensorFlow Lite☆15Jul 30, 2026Updated last month
- Redis client for Crystal☆13Nov 20, 2024Updated last year
- Ambiguous function/operator implementation in Ruby☆46Sep 10, 2011Updated 15 years ago
- An example Rails app that implements passwordless authentication by emailing a magic link☆13Oct 24, 2022Updated 3 years ago
- libsass bindings for Crystal-Lang☆15Sep 25, 2018Updated 7 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.
- Synchronization primitives to build concurrent and parallel-safe data structures in Crystal☆20Nov 14, 2024Updated last year
- My website☆11Mar 24, 2023Updated 3 years ago
- Glimmer DSL for CSS (Cascading Style Sheets)☆12Sep 12, 2026Updated last week
- Fast bitwise operations for Ruby☆11Jun 24, 2025Updated last year
- Ruby ASN.1 library☆17Aug 13, 2025Updated last year
- ☆10Mar 5, 2023Updated 3 years ago
- ☆16Feb 6, 2025Updated last year
- Colorized logging for Memcached, Redis, and Valkey☆36Apr 2, 2026Updated 5 months ago
- Shard for the Gosu game library☆32Oct 6, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An attempt at creating an isometric RPG☆10Sep 7, 2023Updated 3 years ago
- Lightweight RESP client☆14Jan 10, 2022Updated 4 years ago
- Code recipes for Amber Framework☆14Sep 24, 2018Updated 7 years ago
- Crystal bindings for Monocypher☆19May 30, 2023Updated 3 years ago
- For more beautiful Ruby☆31Apr 6, 2020Updated 6 years ago
- Dynamically generated OpenGL bindings for Crystal.☆18Dec 2, 2024Updated last year
- My own realization of ASN.1:2008 test suite☆17May 3, 2014Updated 12 years ago
- Typed structs on steroids based on algebraic types and pattern matching.☆88Feb 4, 2021Updated 5 years ago
- Sample native Android app written in pure Crystal☆17Mar 9, 2023Updated 3 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.
- .NET library to write/patch X86 asm at runtime and marshal complex unmanaged structures.☆16Dec 22, 2018Updated 7 years ago
- ☆13May 23, 2023Updated 3 years ago
- Inesita TodoMVC☆22Jun 24, 2020Updated 6 years ago
- State change & method call logger. A debugging tool for instance variables and method calls.☆25Dec 20, 2018Updated 7 years ago
- Memoize your methods.☆14Jun 21, 2023Updated 3 years ago
- Official source of Bow☆13Oct 26, 2022Updated 3 years ago
- The project has moved to Hyperstack!! - Hyperloop for static sites, with no build process needed☆21Aug 9, 2018Updated 8 years ago
- Crystal bindings for QT6☆20Aug 5, 2026Updated last month
- FFTW binding in Crystal☆13Feb 23, 2022Updated 4 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.
- ☆17Mar 1, 2017Updated 9 years ago
- TLSH (Trend Micro Locality Sensitive Hash) library for Ruby☆26Aug 28, 2017Updated 9 years ago
- Application to simpify versioning and releasing crystal projects.☆18Oct 30, 2021Updated 4 years ago
- Ruby implementation for send/expect interaction☆73Jul 9, 2020Updated 6 years ago
- Simple 2D game framework in Crystal☆15Sep 7, 2026Updated last week
- Lightweight, header only ML library with support for OpenMP for a variety of neural networks.☆10Aug 18, 2024Updated 2 years ago
- F# Computation Expression Interface for CDKTF☆15Oct 29, 2025Updated 10 months ago