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☆13Jan 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
- 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.
- Parellel (OpenCL-based) AES encryption for CPUs and GPUs☆16Mar 16, 2012Updated 14 years ago
- A LaTeX class for Horizon Europe RIA and IA grant proposals☆15Aug 17, 2025Updated 7 months ago
- hashkill password recovery tool☆12Feb 4, 2014Updated 12 years 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☆36Dec 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 8 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 6 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 6 years ago
- Code for "Can We Fix Social Media? Testing Prosocial Interventions using Generative Social Simulation"☆27Nov 21, 2025Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 8 months ago
- Get IP address of a Telegram user with a Mini App☆15Oct 30, 2024Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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.☆18Jul 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