CDCL SAT-solver for GPUs
☆12May 5, 2017Updated 8 years ago
Alternatives and similar repositories for ringsat
Users that are interested in ringsat are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Boolean Expressions☆21Nov 5, 2018Updated 7 years ago
- CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…☆25Jun 3, 2023Updated 2 years ago
- OpenCL SAT solver☆16Jul 15, 2011Updated 14 years ago
- CMurphi mirror: http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi☆12Jan 22, 2016Updated 10 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Jun 8, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Parellel (OpenCL-based) AES encryption for CPUs and GPUs☆16Mar 16, 2012Updated 14 years ago
- hashkill password recovery tool☆11Feb 4, 2014Updated 12 years ago
- A LaTeX class for Horizon Europe RIA and IA grant proposals☆15Aug 17, 2025Updated 7 months ago
- An implementation of a SAT solver using the CUDA library☆15Dec 23, 2017Updated 8 years ago
- Puppeteer-extra plugin for puppeteer-interceptor☆20Apr 27, 2020Updated 5 years ago
- Cross-platform boolean expression parser and interpreter☆35Dec 19, 2015Updated 10 years ago
- Rewrite2: A GAN based Chinese font transfer algorithm☆10May 18, 2017Updated 8 years ago
- Rust bindings for SQLite’s lsm1 extension in stand-alone manner.☆25Apr 16, 2025Updated 11 months ago
- A cross-platform .NET Standard library to get the cache line size (in bytes) of the processor.☆17Jul 10, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Exposes local servers behind NATs and firewalls to the Internet☆19Mar 9, 2020Updated 6 years ago
- setup ubuntu vpc to support vpn via pptp, especially on aws ec2 ubuntu14.04 hvm☆12Aug 13, 2025Updated 7 months ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- A simple UDP-based peer-to-peer library in Dart☆17Oct 11, 2025Updated 5 months ago
- Net Present Value (NPV) Simulation for Python☆14Aug 12, 2019Updated 6 years ago
- Cross-Platform Host Checking Application☆28Oct 26, 2025Updated 5 months ago
- 32bit Simplifier of Boolean functions☆20Dec 4, 2018Updated 7 years ago
- Capture web page screenshots by using headless chrome browser.☆18Apr 4, 2020Updated 5 years ago
- Code for "Can We Fix Social Media? Testing Prosocial Interventions using Generative Social Simulation"☆27Nov 21, 2025Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An forked version of trojan that more suitable for running in cluster☆13Jul 8, 2020Updated 5 years ago
- Network-based Startup Module Framework (Network Dropper)☆14Dec 11, 2023Updated 2 years ago
- ☆10Sep 20, 2017Updated 8 years ago
- A fork of the EPCC OpenMP micro-benchmark suite with some improvements☆12Apr 27, 2017Updated 8 years ago
- Introduction to Internet of Things Platforms☆12Sep 1, 2021Updated 4 years ago
- A self-organizing file system with llama 3☆17Jul 21, 2024Updated last year
- sample code of api gateway☆22Mar 19, 2021Updated 5 years ago
- Recommendation System as a Service☆11Aug 11, 2025Updated 7 months ago
- Get IP address of a Telegram user with a Mini App☆15Oct 30, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- PyTorch/PyG implementation of M3GNet☆11Sep 11, 2023Updated 2 years ago
- HTTP service that receives log entries as JSON and sends them to users via a Telegram bot.☆19Jul 6, 2024Updated last year
- Benchmarking AES-GCM on GPUs with OpenCL☆29Feb 8, 2016Updated 10 years ago
- A simple Persian spell checker and autocorrector.☆10Apr 25, 2021Updated 4 years ago
- Easy to understand applications with rust just for having fun☆13Aug 25, 2025Updated 7 months ago
- Cilk application benchmark programs☆11Aug 20, 2022Updated 3 years ago
- Fully automated trading system, strategy based on Kalman filter☆13May 7, 2018Updated 7 years ago