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)
  ☆180Updated 4 years ago
• jolmg / parsby
  Parser combinator library for Ruby inspired by Haskell's Parsec
  ☆103Updated 2 years ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆141Updated 4 years ago
• benlund / ascii_charts
  Ruby library to draw simple ASCII charts (x,y graph plots and histograms)
  ☆82Updated 7 years ago
• baweaver / xf
  Xf - Transform Functions
  ☆61Updated 7 years ago
• jeremyevans / ruby-refrigerator
  Freeze all core ruby classes
  ☆283Updated 2 weeks ago
• ruby / drb
  Distributed object system for Ruby
  ☆207Updated last month
• oozou / ruby-prof-flamegraph
  Easily find bottlenecks in your Ruby code. A ruby-prof printer that prints fold stacks compatible with FlameGraph
  ☆290Updated 4 years ago
• typedruby / typedruby
  Gradual static typing for Ruby
  ☆118Updated 3 years ago
• seattlerb / rubyinline
  ☆304Updated this week
• propublica / daybreak
  A simple-dimple key value store for ruby.
  ☆237Updated 2 years ago
• lsegal / gorb
  Auto-generates a native Ruby wrapper stub for a given Go package.
  ☆34Updated 9 years ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆41Updated last week
• seattlerb / ruby2ruby
  ☆168Updated this week
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆206Updated last year
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆46Updated 14 years ago
• LendingHome / pipe_operator
  Elixir/Unix style pipe operations in Ruby - PROOF OF CONCEPT
  ☆145Updated 6 years ago
• silverhammermba / emberb
  A guide to Ruby's C API
  ☆218Updated last year
• ruby / fiddle
  A libffi wrapper for Ruby.
  ☆183Updated 3 weeks ago
• socketry / async-dns
  An asynchronous DNS resolver and server.
  ☆101Updated 6 months ago
• ysbaddaden / prax.cr
  Rack proxy server for development (Crystal port)
  ☆152Updated 2 years ago
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 7 years ago
• tenderlove / mmap
  A wrapper around mmap
  ☆68Updated last year
• mbj / unparser
  Turn Ruby AST into semantically equivalent Ruby source
  ☆325Updated 2 months ago
• postmodern / hexdump.rb
  Fully Featured and Fast hexdumping for Ruby.
  ☆76Updated last year
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated last year
• socketry / lightio
  LightIO is a userland implemented green thread library for ruby
  ☆161Updated 4 years ago
• vnmakarov / ruby
  The Ruby Programming Language
  ☆206Updated last year
• dryruby / ebnf
  EBNF parser and generic parser generator for Ruby.
  ☆129Updated 8 months ago
• rubybib / rubybib.org
  The Ruby Bibliography
  ☆122Updated 3 years ago