Simple boolean expression evaluation engine for python.
☆16May 11, 2023Updated 3 years ago
Alternatives and similar repositories for boolrule
Users that are interested in boolrule are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- Utilities for polling, retrying, and exception handling☆10Aug 27, 2019Updated 7 years ago
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆14Updated this week
- Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…☆12Dec 18, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This a mirror of the subversion repository on COIN-OR.☆10Feb 24, 2019Updated 7 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆100Jan 17, 2023Updated 3 years ago
- Rust HAL repp☆12Apr 25, 2022Updated 4 years ago
- ☆19Jun 3, 2026Updated 5 months ago
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated 7 months ago
- A proof-of-concept code search for GitHub that de-duplicates results☆12Jun 2, 2021Updated 5 years ago
- low-cost tracing and logging for C++☆10Dec 15, 2019Updated 6 years ago
- chromium based robot framework☆11Oct 20, 2022Updated 4 years ago
- fast, simple and non-intrusive C++ serializer☆10Jan 21, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A configuration manager for your projects☆13Feb 1, 2022Updated 4 years ago
- ☆14Feb 3, 2021Updated 5 years ago
- Build dependencies and tools used across @typedb repositories (not for public)☆12Updated this week
- SparkListener that converts SparkListenerEvents to JSON and forwards them to an external service via RPC.☆16Apr 6, 2021Updated 5 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- AppDoctor☆16Mar 8, 2017Updated 9 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆19Oct 27, 2026Updated last week
- cropy : Python content based image crop API and shell command☆18Sep 14, 2023Updated 3 years ago
- ☆21Jan 6, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Autogeneration of Python bindings from manually annotated C++ headers☆12Jul 24, 2020Updated 6 years ago
- Boost your monorepo with Bazel and Nix to create smooth dev environment!☆12Feb 11, 2026Updated 8 months ago
- Bazel repository_rule for using libraries from a local LLVM installation in your BUILD files. Supports LLVM, Clang and MLIR.☆12Mar 24, 2021Updated 5 years ago
- Spacemacs私人配置☆21Nov 10, 2017Updated 8 years ago
- ☆10Apr 1, 2020Updated 6 years ago
- Spacemacs configuration layer for elpy☆18Jun 14, 2015Updated 11 years ago
- Rules for performing tasks related to FPGA development in Bazel.☆12Aug 12, 2021Updated 5 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- Arena offers the best engagement tools to grow your website. Liveblog, Live Chat and Wordpress widgets to increase traffic and earn reven…☆11Sep 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- Homestuck mod for Dwarf Fortress☆12Mar 14, 2023Updated 3 years ago
- A type-safe, composable directed graph workflow system written in Rust☆18May 9, 2025Updated last year
- ROSCCO is a ROS node for OSCC☆22Aug 27, 2018Updated 8 years ago
- Compiler Course☆19Apr 29, 2015Updated 11 years ago
- Understanding how atomics and memory ordering work☆13Jan 6, 2022Updated 4 years ago
- Experiments with safe DMA abstractions in Rust☆18Sep 17, 2020Updated 6 years ago