Alternatives and similar repositories for z3

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

• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆179Updated 4 years ago
• jolmg / parsby
  Parser combinator library for Ruby inspired by Haskell's Parsec
  ☆104Updated 2 years ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• jeremyevans / ruby-refrigerator
  Freeze all core ruby classes
  ☆284Updated last week
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆96Updated 9 months ago
• tenderlove / mmap
  A wrapper around mmap
  ☆67Updated last year
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• isamu / rocksdb-ruby
  A simple RocksDB library for Ruby
  ☆76Updated last year
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 9 years ago
• rubybib / rubybib.org
  The Ruby Bibliography
  ☆121Updated 2 years ago
• chriswailes / RLTK
  The Ruby Language Toolkit
  ☆452Updated 5 years ago
• ruby / drb
  Distributed object system for Ruby
  ☆203Updated 2 weeks ago
• ysbaddaden / prax.cr
  Rack proxy server for development (Crystal port)
  ☆152Updated 2 years ago
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆207Updated last year
• ioquatix / trenni
  A fast native templating system that compiles directly to Ruby code.
  ☆49Updated last year
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 4 years ago
• socketry / socketry
  High-level wrappers for Ruby sockets with advanced thread-safe timeout support
  ☆136Updated 4 years ago
• propublica / daybreak
  A simple-dimple key value store for ruby.
  ☆238Updated 2 years ago
• ruby / matrix
  An implementation of Matrix and Vector classes
  ☆72Updated last week
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆46Updated 13 years ago
• dorkrawk / darwinning
  A Ruby gem for genetic algorithms.
  ☆122Updated 6 years ago
• seattlerb / rubyinline
  ☆303Updated 5 months ago
• seattlerb / ruby2ruby
  ☆167Updated 5 months ago
• dkubb / memoizable
  Memoize method return values
  ☆112Updated 7 months ago
• socketry / utopia
  A content-centric Ruby/Rack based web framework.
  ☆142Updated 2 months ago
• ammar / regexp_parser
  A regular expression parser library for Ruby
  ☆144Updated 2 weeks ago
• typedruby / typedruby
  Gradual static typing for Ruby
  ☆118Updated 3 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆93Updated 3 weeks ago
• csg-tokyo / yadriggy
  A framework for embedded DSLs in Ruby
  ☆91Updated 3 years ago