CDCL SAT-solver for GPUs
☆12May 5, 2017Updated 9 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…☆26Jun 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☆14Jan 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 8 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 6 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 last year
- A cross-platform .NET Standard library to get the cache line size (in bytes) of the processor.☆17Jul 10, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- Cross-Platform Host Checking Application☆28Oct 26, 2025Updated 6 months ago
- Net Present Value (NPV) Simulation for Python☆15Aug 12, 2019Updated 6 years 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 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 9 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
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 5 years ago
- Easy to understand applications with rust just for having fun☆13Aug 25, 2025Updated 8 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