Alternatives and similar repositories for z3

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

• ruby-numo / numo
  Ruby Numerical Modules
  ☆60Updated 6 years ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆41Updated last year
• jolmg / parsby
  Parser combinator library for Ruby inspired by Haskell's Parsec
  ☆103Updated 2 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆91Updated 3 months ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆179Updated 4 years ago
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 7 years ago
• dkubb / memoizable
  Memoize method return values
  ☆112Updated 5 months ago
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 9 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
• rubybib / rubybib.org
  The Ruby Bibliography
  ☆121Updated 2 years ago
• ko1 / ractor-tvar
  ☆80Updated 4 years ago
• halostatue / color
  Color tools for Ruby.
  ☆134Updated last week
• 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…
  ☆50Updated 6 years ago
• red-data-tools / matplotlib.rb
  matplotlib wrapper for Ruby
  ☆95Updated 2 years ago
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆125Updated 2 years ago
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆207Updated 9 months ago
• jamescook / libui-ruby
  FFI binding for libui
  ☆43Updated 6 years ago
• gsamokovarov / rvt
  Remote Terminal for the Browser.
  ☆58Updated 5 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 6 years ago
• ruby-numo / numo-linalg
  Linear Algebra Library for Ruby/Numo::NArray
  ☆39Updated last year
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• phoffer / crystalized_ruby
  Write native Ruby extensions in Crystal
  ☆153Updated 7 years ago
• ukutaht / safe_ruby
  A safe ruby sandbox for running untrusted code
  ☆55Updated last year
• seattlerb / ruby2ruby
  ☆166Updated 3 months ago
• cabo / cbor-ruby
  CBOR (RFC 7049) extension for Ruby
  ☆47Updated 10 months ago
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆97Updated 7 months ago
• rubyomr-preview / ruby
  The Ruby+OMR Preview
  ☆68Updated 8 years ago
• benlund / ascii_charts
  Ruby library to draw simple ASCII charts (x,y graph plots and histograms)
  ☆80Updated 7 years ago
• zverok / hm
  Idiomatic Ruby hash transformations
  ☆129Updated 6 years ago