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
• ko1 / ractor-tvar
  ☆80Updated 4 years ago
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 3 years ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆91Updated 3 weeks ago
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆181Updated 3 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 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
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆39Updated last year
• Freaky / monotime
  A sensible interface to monotonic time in Ruby
  ☆156Updated last year
• ruby / drb
  Distributed object system for Ruby
  ☆191Updated 5 months ago
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆123Updated 2 years ago
• dry-rb / dry-effects
  Algebraic effects in Ruby
  ☆116Updated 2 months ago
• mrkn / matplotlib.rb
  matplotlib wrapper for Ruby
  ☆93Updated 2 years ago
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆47Updated 13 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• Martin-Nyaga / fast_statistics
  Fast computation of descriptive statistics in ruby using native code and SIMD
  ☆60Updated last year
• ankane / midas-ruby
  Edge stream anomaly detection for Ruby
  ☆54Updated 3 months ago
• arbox / ruby-interoperability
  Ruby Mixture with other Programming Languages
  ☆39Updated 4 years ago
• digital-fabric / papercraft
  Composable templating for Ruby
  ☆201Updated 2 months ago
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 8 years ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆59Updated 6 years ago
• dry-rb / dry-transformer
  Data transformation toolkit
  ☆73Updated last year
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆208Updated 7 months ago
• socketry / live
  ☆110Updated 4 months ago
• jeremyevans / r10k
  Comparative ruby web application benchmarks with a large number of routes
  ☆99Updated last month
• SciRuby / numruby
  Fast Numerical Linear Algebra Library for Ruby. NMatrix reimplementation.
  ☆45Updated 4 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…
  ☆50Updated 5 years ago
• janbiedermann / opal-webpack-loader
  Bundle assets with webpack, resolve and compile opal ruby files, and import them in the bundle.
  ☆19Updated 3 years ago
• ioquatix / trenni
  A fast native templating system that compiles directly to Ruby code.
  ☆49Updated 11 months ago