Alternatives and similar repositories for z3:

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

• jolmg / parsby
  Parser combinator library for Ruby inspired by Haskell's Parsec
  ☆103Updated last year
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• rubyomr-preview / ruby
  The Ruby+OMR Preview
  ☆68Updated 7 years ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆58Updated 5 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆85Updated last week
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆47Updated 13 years ago
• YellowApple / bales
  A framework for building command-line applications
  ☆37Updated 4 years ago
• ko1 / ractor-tvar
  ☆79Updated 3 years ago
• csg-tokyo / yadriggy
  A framework for embedded DSLs in Ruby
  ☆91Updated 2 years ago
• easydatawarehousing / opal-ferro
  Ferro is a small Ruby library on top of Opal that enables an object-oriented programming style for creating code that runs in the webbrow…
  ☆49Updated 5 years ago
• srawlins / allocation_stats
  Tooling for tracing object allocations in Ruby 2.1
  ☆261Updated 2 years ago
• ruby / drb
  Distributed object system for Ruby
  ☆186Updated 3 months ago
• arbox / ruby-interoperability
  Ruby Mixture with other Programming Languages
  ☆39Updated 4 years ago
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 6 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated 11 months ago
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆180Updated 3 years ago
• k0kubun / yarv-mjit
  MRI method JIT compiler based on original stack-based YARV instructions (Development Repository of ruby/ruby#1782, already merged)
  ☆64Updated 6 years ago
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆120Updated 2 years ago
• matugm / visual-call-graph
  Visual Call Graph will help you visualize how a method works by creating a call graph of all the other methods called.
  ☆48Updated 5 years ago
• PragTob / rubykon
  A Go-Bot written in Ruby. Work not so much in progress anymore but also not quite done 😅
  ☆35Updated 4 years ago
• p0deje / yard-doctest
  Doctests from YARD examples
  ☆113Updated last year
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆207Updated 4 months ago
• dorkrawk / darwinning
  A Ruby gem for genetic algorithms.
  ☆121Updated 6 years ago
• rubyworks / pqueue
  Priority Queue in pure Ruby
  ☆68Updated 9 years ago
• seattlerb / sexp_processor
  ☆83Updated 2 months ago
• sql-rb / sql-composer
  Standalone SQL composer DSL for Ruby
  ☆33Updated 4 years ago
• ioquatix / trenni
  A fast native templating system that compiles directly to Ruby code.
  ☆49Updated 8 months ago
• rubybib / rubybib.org
  The Ruby Bibliography
  ☆121Updated 2 years ago