taw / z3Links
Ruby bindings for Z3 constraint solver library
☆66Updated last year
Alternatives and similar repositories for z3
Users that are interested in z3 are comparing it to the libraries listed below
Sorting:
- Parser combinator library for Ruby inspired by Haskell's Parsec☆103Updated 2 years ago
- ☆303Updated 6 months ago
- Ruby bindings for simdjson☆141Updated 4 years ago
- Freeze all core ruby classes☆284Updated 3 weeks ago
- A wrapper around mmap☆67Updated last year
- Pure Ruby bit array/bitfield implementation☆105Updated last year
- Ruby library to draw simple ASCII charts (x,y graph plots and histograms)☆82Updated 7 years ago
- Dump compiled iseq by binary (kakidasu) and load binary (yomidasu)☆179Updated 4 years ago
- High-level wrappers for Ruby sockets with advanced thread-safe timeout support☆136Updated 4 years ago
- Turn Ruby AST into semantically equivalent Ruby source☆322Updated 3 months ago
- The Ruby Language Toolkit☆452Updated 5 years ago
- EBNF parser and generic parser generator for Ruby.☆127Updated 5 months ago
- This is not your father’s lexer.☆41Updated 2 years ago
- An asynchronous DNS resolver and server.☆100Updated 3 months ago
- wrapper for google's hash functions, for ruby☆92Updated 7 years ago
- LightIO is a userland implemented green thread library for ruby☆161Updated 4 years ago
- A Ruby gem for genetic algorithms.☆122Updated 6 years ago
- Concurrent wrappers for native Ruby IO & Sockets.☆206Updated last year
- Write Ruby extensions in Crystal☆96Updated 10 months ago
- Rack proxy server for development (Crystal port)☆152Updated 2 years ago
- The Ruby Bibliography☆122Updated 2 years ago
- A simple-dimple key value store for ruby.☆238Updated 2 years ago
- Ambiguous function/operator implementation in Ruby☆46Updated 14 years ago
- Distributed object system for Ruby☆206Updated last month
- ptmalloc2 heap dumper and visualizer☆140Updated 6 years ago
- Gradual static typing for Ruby☆118Updated 3 years ago
- Easily find bottlenecks in your Ruby code. A ruby-prof printer that prints fold stacks compatible with FlameGraph☆289Updated 4 years ago
- A heap analyzer for MRI that isn't very good.☆143Updated 5 years ago
- Fully Featured and Fast hexdumping for Ruby.☆78Updated last year
- ☆70Updated 9 years ago