vaibhawvipul / concurrent-sat-solver-rsView external linksLinks
a simple concurrent/parallel sat solver implementation in rust
☆20Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for concurrent-sat-solver-rs
Users that are interested in concurrent-sat-solver-rs are comparing it to the libraries listed below
Sorting:
- Process Orchestration Framework: A camunda 7 fork☆20Updated this week
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆22Jun 14, 2025Updated 8 months ago
- AI-Powered Kubernetes Management System: A platform combining natural language processing with Kubernetes management. Users can perform r…☆13Mar 30, 2025Updated 10 months ago
- WARNING: this repo is not maintained anymore.☆11Apr 4, 2025Updated 10 months ago
- The Centralized Security Platform 🔍 🚀☆12Aug 4, 2025Updated 6 months ago
- CLI for managing WordPress locally using the Franken stack: Caddy, FrankenPHP, MariaDB, Mailpit, whoops, WordPress and WP-CLI.☆12Jan 31, 2026Updated 2 weeks ago
- Rapid Blockchain Prototypes for Rust☆15Jan 18, 2023Updated 3 years ago
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.☆12Jul 4, 2024Updated last year
- Sandbank is the easy-to-use database for s&box.☆10Mar 9, 2025Updated 11 months ago
- poc for cve-2025-53772☆46Dec 10, 2025Updated 2 months ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago
- A Grand Sumo prediction game☆10Updated this week
- Welcome to the GPU-NTT-Optimization repository! We present cutting-edge algorithms and implementations for optimizing the Number Theoreti…☆49Feb 8, 2026Updated last week
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- Single Sign-On component for Mercator☆10Dec 4, 2018Updated 7 years ago
- A rust proof of concept to demonstrate registry overwriting via RegRestoreKey using the Offline Registry Library☆24Nov 13, 2025Updated 3 months ago
- Personal website. Built with hugo☆13Feb 8, 2025Updated last year
- A Purescript interface to xstream☆11Nov 11, 2017Updated 8 years ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- Code for "The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction an…☆11Apr 30, 2024Updated last year
- The virtual console embedded in rCore kernel.☆11May 6, 2025Updated 9 months ago
- Build your own AI-powered automation tools in the terminal with this extensible agent framework☆22Jan 5, 2026Updated last month
- SysMD is a SysML v2/KerML tool. It offers a little entry hurdle by its Notebook-like UI. Unique to SysMD is its integrated solver that do…☆33Dec 11, 2025Updated 2 months ago
- Repo Manifests for the Yocto Project Build System for reproducible TEE builds☆11Nov 26, 2025Updated 2 months ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- A syntax engine for a series of languages☆18Jul 9, 2012Updated 13 years ago
- Solana Leader TPU List and Event Stream☆32Feb 3, 2026Updated last week
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- A simple 2-field fuzzer for the telnet protocol☆11Apr 4, 2017Updated 8 years ago
- Distributed Application Communication Framework for .NET(A fork of MassTransit v8)☆42Feb 5, 2026Updated last week
- A proc macro regex library to match an arbitrary string or byte array to a regular expression.☆11Jun 5, 2022Updated 3 years ago
- TUI kanban board for orchestrating AI coding agents☆36Jan 28, 2026Updated 2 weeks ago
- SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…☆14Jun 18, 2024Updated last year
- A high-performance, thread-safe channel implementation in C++17, inspired by Go's channels☆16Jul 28, 2024Updated last year
- [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing☆12Jan 7, 2025Updated last year
- Beacon Object File (BOF) for identifying dependent child services of a given parent.☆18Jun 20, 2025Updated 7 months ago
- Binary wrapper that disables vDSO for a wrapped application.☆15Nov 11, 2025Updated 3 months ago
- Automatic Blue Archive (Global) decensorer☆10Oct 4, 2022Updated 3 years ago
- MCP server for Sonic Pi☆14Mar 22, 2025Updated 10 months ago