taw / z3

Related projects: ⓘ

• jolmg / parsby
  Parser combinator library for Ruby inspired by Haskell's Parsec
  ☆101Updated last year
• peterc / bitarray
  Pure Ruby bit array/bitfield implementation
  ☆105Updated 7 months ago
• ruby-x / rubyx
  ☆81Updated this week
• rdp / google_hash
  wrapper for google's hash functions, for ruby
  ☆92Updated 6 years ago
• bruno- / fiber_scheduler
  Ruby's missing Fiber Scheduler implementation.
  ☆119Updated last year
• csg-tokyo / yadriggy
  A framework for embedded DSLs in Ruby
  ☆91Updated 2 years ago
• socketry / async-container
  Scalable multi-thread multi-process containers for Ruby.
  ☆79Updated 2 weeks ago
• ruby-numo / numo
  Ruby Numerical Modules
  ☆57Updated 5 years 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
• chikamichi / amb
  Ambiguous function/operator implementation in Ruby
  ☆47Updated 13 years ago
• ruby / drb
  Distributed object system for Ruby
  ☆178Updated last week
• 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
• socketry / utopia
  A content-centric Ruby/Rack based web framework.
  ☆138Updated 2 weeks ago
• saka1 / simdjson_ruby
  Ruby bindings for simdjson
  ☆140Updated 3 years ago
• LendingHome / pipe_operator
  Elixir/Unix style pipe operations in Ruby - PROOF OF CONCEPT
  ☆143Updated 5 years ago
• ruby-syntax-tree / yarv
  A YARV object layer written in Ruby
  ☆66Updated this week
• mrkn / matplotlib.rb
  matplotlib wrapper for Ruby
  ☆90Updated last year
• preston / ruby-prolog
  A pure Ruby gem implemention of a Prolog-like DSL for AI and logical programming.
  ☆200Updated last year
• PragTob / rubykon
  A Go-Bot written in Ruby. Work not so much in progress anymore but also not quite done 😅
  ☆35Updated 4 years ago
• arbox / ruby-interoperability
  Ruby Mixture with other Programming Languages
  ☆39Updated 3 years ago
• seattlerb / oedipus_lex
  This is not your father’s lexer.
  ☆39Updated last year
• ko1 / ractor-tvar
  ☆76Updated 3 years ago
• manastech / crystal_ruby
  Write Ruby extensions in Crystal
  ☆98Updated 7 years ago
• ukutaht / safe_ruby
  A safe ruby sandbox for running untrusted code
  ☆53Updated 7 months 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…
  ☆49Updated 5 years ago
• typedruby / typedruby
  Gradual static typing for Ruby
  ☆114Updated 2 years ago
• socketry / async-io
  Concurrent wrappers for native Ruby IO & Sockets.
  ☆209Updated 3 weeks ago
• piotrmurach / strings
  A set of useful functions for transforming strings.
  ☆128Updated 6 months ago
• tuwukee / blab
  A debugging tool
  ☆70Updated 5 years ago