jhawthorn / pub_grub
π A ruby implementation of the PubGrub CDCL-based version solver
β151Updated last month
Alternatives and similar repositories for pub_grub:
Users that are interested in pub_grub are comparing it to the libraries listed below
- Examples of C extensions in Ruby gemsβ97Updated 3 months ago
- Log archive for monthly Developers Meetingβ97Updated last month
- RuboCop's AST extensions and NodePattern functionalityβ118Updated 2 weeks ago
- Shim library for Module#ruby2_keywordsβ61Updated last year
- The gem enhances Exception#message by adding a short explanation where the exception is raisedβ151Updated 2 months ago
- Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perlβ¦β132Updated 2 weeks ago
- β229Updated 2 weeks ago
- Isolated Module Autoloader for Rubyβ118Updated last year
- FaaS (Function as a service) framework for writing portable Ruby functionsβ162Updated last month
- Polyfill implements newer Ruby features into older versions.β95Updated 4 years ago
- A subclass of Object includes Comparable module for handling dates.β91Updated 2 weeks ago
- Provides lexical scanning operations on a String.β82Updated last week
- Common code needed by the other RSpec gems. Not intended for direct use.β100Updated 4 months ago
- Automatically optimizes your Ruby codeβ98Updated 2 years ago
- simple logging utilityβ124Updated 2 weeks ago
- Ruby's default & bundled gems: The new standard libraryβ116Updated last week
- Pronto runner for Rubocop, ruby code analyzerβ83Updated 2 weeks ago
- Active Record adapter for the Trilogy database client for Rails v6.0 - v7.0.β175Updated 2 months ago
- Fully-featured benchmark driver for Ruby 3x3β156Updated last year
- Messages from Rubyists for Ruby 25th anniversaryβ140Updated 7 years ago
- A regular expression parser library for Rubyβ143Updated 4 months ago
- Simple low level client for Redis 6+β132Updated this week
- Precompiles ActionView templates at app boot for Rails 6+β147Updated 7 months ago
- Timeout provides a way to auto-terminate a potentially long-running operation if it hasn't finished in a fixed amount of time.β146Updated 2 weeks ago
- Add custom processing for warningsβ281Updated 3 months ago
- URI is a module providing classes to handle Uniform Resource Identifiersβ95Updated 2 weeks ago
- Run code after the current Rack response or Rails action completesβ134Updated 5 months ago
- A boot time booster for Ruby on Rails that defers loading the whole bloody routes so the app can spin up quickly π€β148Updated 8 months ago
- Power Assert for Rubyβ191Updated 4 months ago
- Rails 6.1 version of headius/pgrailsbench with database seedsβ43Updated 2 years ago