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
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆88Updated this week
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆122Updated 2 years ago
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆97Updated 3 months 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 5 years ago
• ko1 / ractor-tvar
  ☆79Updated 4 years ago
• ioquatix / trenni
  A fast native templating system that compiles directly to Ruby code.
  ☆49Updated 9 months ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆38Updated last year
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 8 years ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆59Updated 5 years ago
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 3 years ago
• rcairo / rcairo
  The Ruby bindings for cairo.
  ☆139Updated last month
• jedld / brains-jruby
  A feedforward neural network implementation for JRuby
  ☆60Updated 7 years ago
• pitr-ch / algebrick
  Typed structs on steroids based on algebraic types and pattern matching.
  ☆88Updated 4 years ago
• Freaky / monotime
  A sensible interface to monotonic time in Ruby
  ☆156Updated last year
• mattruzicka / evolvable
  An evolutionary computation framework
  ☆42Updated 9 months ago
• cyx / shield
  Authentication protocol for use in your routing and model context
  ☆127Updated last year
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆181Updated 3 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• saturnflyer / casting
  Delegate methods in Ruby and preserve self. Add behaviors to your objects without altering their superclass hierarchy.
  ☆359Updated 2 years ago
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆48Updated 13 years ago
• marcelotto / sycamore
  A tree data structure for Ruby
  ☆93Updated 6 years ago
• dry-rb / dry-transformer
  Data transformation toolkit
  ☆73Updated last year
• jeremyevans / rack-unreloader
  Rack Application that reloads application files if changed, unloading constants first
  ☆101Updated last month
• ruby / matrix
  An implementation of Matrix and Vector classes
  ☆68Updated last year
• SciRuby / numruby
  Fast Numerical Linear Algebra Library for Ruby. NMatrix reimplementation.
  ☆45Updated 3 years ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• reidmorrison / iostreams
  IOStreams is an incredibly powerful streaming library that makes changes to file formats, compression, encryption, or storage mechanism t…
  ☆96Updated 9 months ago
• cabo / cbor-ruby
  CBOR (RFC 7049) extension for Ruby
  ☆46Updated 6 months ago