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
• red-data-tools / matplotlib.rb
  matplotlib wrapper for Ruby
  ☆94Updated 2 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆41Updated last year
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆91Updated 2 months ago
• socketry / utopia
  A content-centric Ruby/Rack based web framework.
  ☆143Updated last month
• arbox / ruby-interoperability
  Ruby Mixture with other Programming Languages
  ☆39Updated 4 years ago
• zverok / hm
  Idiomatic Ruby hash transformations
  ☆129Updated 5 years ago
• mudge / re2
  Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl…
  ☆144Updated this week
• ruby / matrix
  An implementation of Matrix and Vector classes
  ☆71Updated last week
• piotrmurach / strings
  A set of useful functions for transforming strings.
  ☆129Updated last year
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆47Updated 13 years ago
• csg-tokyo / yadriggy
  A framework for embedded DSLs in Ruby
  ☆91Updated 3 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
• jeremyevans / roda-message_bus
  MessageBus integration for Roda
  ☆17Updated 2 weeks ago
• jonahx / pretty_ruby
  Syntax improvements and other useful methods for ruby
  ☆66Updated 5 years ago
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 3 years ago
• jedld / brains-jruby
  A feedforward neural network implementation for JRuby
  ☆60Updated 8 years ago
• ko1 / ractor-tvar
  ☆80Updated 4 years ago
• bkuhlmann / refinements
  A collection of core object refinements.
  ☆79Updated 3 weeks ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆60Updated 6 years ago
• jeremyevans / r10k
  Comparative ruby web application benchmarks with a large number of routes
  ☆99Updated 3 months ago
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆125Updated 2 years ago
• Freaky / monotime
  A sensible interface to monotonic time in Ruby
  ☆156Updated last year
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 7 years ago
• ruby-numo / numo-linalg
  Linear Algebra Library for Ruby/Numo::NArray
  ☆39Updated last year
• marcelotto / sycamore
  A tree data structure for Ruby
  ☆93Updated 7 years ago
• dry-rb / dry-equalizer
  ⚠ Dry::Equalizer is now part of dry-core; this separate codebase is now deprecated ⚠
  ☆79Updated 2 years ago