Ruby bindings for Z3 constraint solver library
☆71Dec 21, 2025Updated 2 months ago
Alternatives and similar repositories for z3
Users that are interested in z3 are comparing it to the libraries listed below
Sorting:
- x86 emulator written in Rust. Just for study☆10Jul 30, 2016Updated 9 years ago
- A collection of Windows functions, constants and macros predefined for you for win32-api☆24May 3, 2021Updated 4 years ago
- Ambiguous function/operator implementation in Ruby☆46Sep 10, 2011Updated 14 years ago
- State change & method call logger. A debugging tool for instance variables and method calls.☆25Dec 20, 2018Updated 7 years ago
- Event Kernel for Ruby☆11Dec 26, 2020Updated 5 years ago
- Glimmer DSL for CSS (Cascading Style Sheets)☆12Aug 30, 2024Updated last year
- Framework for simulating FX trading programmatically.☆11Oct 3, 2016Updated 9 years ago
- Lightweight RESP client☆14Jan 10, 2022Updated 4 years ago
- An example Rails app that implements passwordless authentication by emailing a magic link☆13Oct 24, 2022Updated 3 years ago
- A Ruby client library for Tensorflow Serving☆12Dec 7, 2016Updated 9 years ago
- Probability distributions for Ruby.☆51Jul 5, 2020Updated 5 years ago
- Priority Queue in pure Ruby☆69Mar 3, 2015Updated 11 years ago
- Rubio is a simple GUI radio player☆17Feb 24, 2026Updated last week
- Converts a crontab time spec into human(ish) text☆24Apr 15, 2025Updated 10 months ago
- A constraint solver for Ruby☆63Aug 25, 2021Updated 4 years ago
- A Ruby gem for genetic algorithms.☆123Dec 21, 2018Updated 7 years ago
- A Pure Ruby CDB reader/writer w/64 bit extensions☆16Sep 1, 2021Updated 4 years ago
- Advocating idleness and work-shyness☆230May 1, 2015Updated 10 years ago
- parser for Elasticserach explain response☆16Mar 2, 2021Updated 5 years ago
- Ruby tools for HAProxy, including config file management.☆32Apr 6, 2019Updated 6 years ago
- XMPP Ruby Client.☆35Jul 16, 2015Updated 10 years ago
- A simple Plausible API wrapper for Ruby☆22Mar 10, 2024Updated last year
- Dynamically generated OpenGL bindings for Crystal.☆17Dec 2, 2024Updated last year
- Typed structs on steroids based on algebraic types and pattern matching.☆88Feb 4, 2021Updated 5 years ago
- STatic (LLVM) Object file Analysis Tool☆54Jan 17, 2022Updated 4 years ago
- Crystal bindings to GNU Readline Library☆24Sep 6, 2025Updated 5 months ago
- Ruby gem for interfacing with HAProxy☆44May 27, 2021Updated 4 years ago
- parse argument options in ruby☆44Dec 30, 2020Updated 5 years ago
- Inesita TodoMVC☆22Jun 24, 2020Updated 5 years ago
- For more beautiful Ruby☆31Apr 6, 2020Updated 5 years ago
- Ruby binding for Menoh DNN inference library☆26Mar 2, 2020Updated 6 years ago
- BLAKE2 - fast secure hashing - for Ruby☆28Oct 1, 2019Updated 6 years ago
- minimum test framework for mruby☆29Dec 22, 2018Updated 7 years ago
- A Chrome Extension that implements Cloudflare's captcha bypass specification for Tor.☆27May 19, 2022Updated 3 years ago
- Showcasing the calling of number-based functions from Rust in a Ruby runtime☆24May 17, 2015Updated 10 years ago
- Execute shell commands with pretty output logging and capture stdout, stderr and exit status.☆405Feb 2, 2024Updated 2 years ago
- Generative/property-based testing for RSpec☆69Jan 25, 2022Updated 4 years ago
- OpenTracing API for Ruby☆174Sep 23, 2021Updated 4 years ago
- A scalable ruby Bloom filter☆39Sep 13, 2018Updated 7 years ago