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
  ☆104Updated 2 years ago
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 3 years ago
• ko1 / yomikomu
  Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)
  ☆179Updated 4 years ago
• gaar4ica / ruby_ext_in_crystal_math
  ☆70Updated 9 years ago
• typedruby / typedruby
  Gradual static typing for Ruby
  ☆118Updated 3 years ago
• seattlerb / ruby2ruby
  ☆166Updated 3 months ago
• socketry / socketry
  High-level wrappers for Ruby sockets with advanced thread-safe timeout support
  ☆137Updated 4 years ago
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆47Updated 13 years ago
• socketry / utopia
  A content-centric Ruby/Rack based web framework.
  ☆143Updated last month
• oozou / ruby-prof-flamegraph
  Easily find bottlenecks in your Ruby code. A ruby-prof printer that prints fold stacks compatible with FlameGraph
  ☆289Updated 4 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆62Updated 6 years ago
• ko1 / ractor-tvar
  ☆80Updated 4 years ago
• dorkrawk / darwinning
  A Ruby gem for genetic algorithms.
  ☆122Updated 6 years ago
• ruby-numo / numo-linalg
  Linear Algebra Library for Ruby/Numo::NArray
  ☆39Updated last year
• whitequark / ast
  A library for working with Abstract Syntax Trees.
  ☆199Updated 3 months ago
• srawlins / allocation_stats
  Tooling for tracing object allocations in Ruby 2.1
  ☆261Updated 3 years ago
• ruby / drb
  Distributed object system for Ruby
  ☆201Updated last week
• gsamokovarov / rvt
  Remote Terminal for the Browser.
  ☆58Updated 5 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
• benlund / ascii_charts
  Ruby library to draw simple ASCII charts (x,y graph plots and histograms)
  ☆80Updated 7 years ago
• yorickpeterse / ruby-ll
  An LL(1) parser generator for Ruby.
  ☆43Updated last year
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆96Updated 7 months ago
• postmodern / hexdump.rb
  Fully Featured and Fast hexdumping for Ruby.
  ☆78Updated last year
• silverhammermba / emberb
  A guide to Ruby's C API
  ☆216Updated 11 months ago
• socketry / async-postgres
  ☆77Updated 4 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆91Updated 4 months ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆41Updated last year
• dry-rb / dry-equalizer
  ⚠ Dry::Equalizer is now part of dry-core; this separate codebase is now deprecated ⚠
  ☆79Updated 2 years ago
• ioquatix / trenni
  A fast native templating system that compiles directly to Ruby code.
  ☆49Updated last year