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:
- Flow - Modern C++ toolkit for async loops, logs, config, benchmarking, and more [See also `ipc` repo]☆14Updated this week
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- Rust HAL repp☆12Apr 25, 2022Updated 4 years ago
- 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
- low-cost tracing and logging for C++☆10Dec 15, 2019Updated 6 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.
- A proof-of-concept code search for GitHub that de-duplicates results☆12Jun 2, 2021Updated 5 years ago
- A CLI tool for CIs and build scripts, making file system based caching easy and correct (locking, eviction, etc.)☆17Mar 20, 2026Updated 6 months ago
- ☆17Jul 23, 2024Updated 2 years ago
- A configuration manager for your projects☆13Feb 1, 2022Updated 4 years ago
- Utility functions for working with data from Nix in Python [maintainer=@adisbladis]☆14Oct 7, 2022Updated 3 years ago
- ☆14Feb 3, 2021Updated 5 years ago
- LAR-19679-1 : CPR*: Formally Verified Compact Position Reporting Algorithm☆18Nov 30, 2020Updated 5 years ago
- PYBOSSA Documentation☆12Mar 29, 2021Updated 5 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 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.
- chromium based robot framework☆11Oct 20, 2022Updated 3 years ago
- Code Snippets, Libraries and Example projects created with DigiPen's Zero Engine.☆12Mar 10, 2018Updated 8 years ago
- no_std, no_alloc crate for AWS IoT Devices, implementing Jobs, OTA, Device Defender and IoT Shadows☆17Sep 15, 2026Updated last week
- Autogeneration of Python bindings from manually annotated C++ headers☆12Jul 24, 2020Updated 6 years ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆20Sep 16, 2026Updated last week
- Boost your monorepo with Bazel and Nix to create smooth dev environment!☆12Feb 11, 2026Updated 7 months ago
- Implementation of mixed language project compilation via Bazel platform.☆17Oct 10, 2020Updated 5 years ago
- ☆10Apr 1, 2020Updated 6 years ago
- Compiler Course☆19Apr 29, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- [Inactive] Public domain implementations of core RFC specifications for C++14.☆12Mar 9, 2015Updated 11 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 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
- Blue Brain Project nixpkgs configuration - Build a brain with Nix☆20May 10, 2022Updated 4 years ago
- A procedurally generated city rendered with D3D12 and Vulkan☆13Feb 4, 2020Updated 6 years ago
- ROSCCO is a ROS node for OSCC☆22Aug 27, 2018Updated 8 years ago
- Experiments with safe DMA abstractions in Rust☆18Sep 17, 2020Updated 6 years ago
- Build nix targets based on git repository directories☆27Mar 31, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Fastest pixel avatar generator☆11Aug 15, 2022Updated 4 years ago
- OEM Monorepo☆14May 23, 2026Updated 4 months ago
- Rules, macros, and APIs that are useful for the implementation of Bazel repositories.☆19Jul 23, 2026Updated 2 months ago
- System Dependence Graph generation from Java source code☆20Jun 11, 2019Updated 7 years ago
- libgcrypt example code☆20Sep 1, 2015Updated 11 years ago
- A standalone debugger for Starlark☆22Jul 10, 2020Updated 6 years ago