-
-
cryptominisat Public
Forked from msoos/cryptominisatAn advanced SAT solver
C++ Other UpdatedJun 14, 2024 -
godot Public
Forked from godotengine/godotGodot Engine – Multi-platform 2D and 3D game engine
C++ MIT License UpdatedOct 2, 2023 -
tdoku-lib Public
Forked from t-dillon/tdokuA fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
C++ BSD 2-Clause "Simplified" License UpdatedSep 13, 2023 -
-
-
plotman Public
Forked from ericaltendorf/plotmanChia plotting manager
Python Apache License 2.0 UpdatedJun 6, 2021 -
wegame-api Public
Forked from jcyuan/wegame-api微信小游戏TypeScript定义文件
TypeScript MIT License UpdatedOct 18, 2018 -