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 2 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆96Updated last year
• ruby / drb
  Distributed object system for Ruby
  ☆207Updated 2 weeks ago
• dorkrawk / darwinning
  A Ruby gem for genetic algorithms.
  ☆122Updated 6 years ago
• jeremyevans / ruby-refrigerator
  Freeze all core ruby classes
  ☆283Updated 3 months ago
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆180Updated 4 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 7 years ago
• socketry / async-dns
  An asynchronous DNS resolver and server.
  ☆101Updated 5 months ago
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆46Updated 14 years ago
• seattlerb / ruby2ruby
  ☆167Updated 8 months ago
• socketry / socketry
  High-level wrappers for Ruby sockets with advanced thread-safe timeout support
  ☆135Updated 4 years ago
• immutable-ruby / immutable-ruby
  Efficient, Immutable, Thread-Safe Collection classes for Ruby
  ☆120Updated last year
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆140Updated 4 years ago
• mbj / unparser
  Turn Ruby AST into semantically equivalent Ruby source
  ☆323Updated last month
• propublica / daybreak
  A simple-dimple key value store for ruby.
  ☆237Updated 2 years ago
• rubybib / rubybib.org
  The Ruby Bibliography
  ☆122Updated 3 years ago
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆206Updated last year
• typedruby / typedruby
  Gradual static typing for Ruby
  ☆118Updated 3 years ago
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 9 years ago
• dkubb / memoizable
  Memoize method return values
  ☆112Updated 10 months ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆63Updated 6 years ago
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 4 years ago
• seattlerb / rubyinline
  ☆303Updated 9 months ago
• mguymon / paseto.rb
  Ruby implementation of Paseto using libsodium.
  ☆46Updated 3 years ago
• postmodern / hexdump.rb
  Fully Featured and Fast hexdumping for Ruby.
  ☆78Updated last year
• tenderlove / heapfrag
  Heap visualizer for Ruby
  ☆101Updated 6 years ago
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 7 years ago
• YellowApple / bales
  A framework for building command-line applications
  ☆37Updated 5 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 4 years ago