ringsat

(★ 12)

CDCL SAT-solver for GPUs

ringsat Latest Version Download

Download Latest Version (.zip)

Today's picks

playwright ★ 94,588

Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Fire

TypeScript
HelloGitHub ★ 171,210

:octocat: 分享 GitHub 上有趣、入门级的开源项目。Share interesting, entry-level open source projects on Gi

Python
cs-self-learning ★ 74,971

计算机自学指南

HTML
unsloth ★ 72,472

Local UI to run and train LLMs and diffusion models, including Qwen3.8, Kimi K3, MiniMax-H

Python
tauri ★ 110,269

Build smaller, faster, and more secure desktop and mobile applications with a web frontend

Rust
public-apis ★ 461,313

A collective list of free APIs

Python
// repository documentation