Pinned Repositories
foodPlant
个人外卖平台项目:springboot + vue
-
别摸鱼了,快干活.jpg
-lgy
for test
awesome-cs-books
经典编程书籍大全,涵盖:计算机系统与网络、系统架构、算法与数据结构、前端开发、后端开发、移动开发、数据库、测试、项目与团队、程序员职业修炼、求职面试等
dlut-ipv6
利用ipv6免流蹭网,大连理工都气哭惹
JPick
JPick | B 站下载器 | Bilibili 视频下载 | bilibili video downloader
jynew
金庸群侠传3D重制版
Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
sat
Learning local search heuristics for Boolean satisfiability
im88888's Repositories
im88888/foodPlant
个人外卖平台项目:springboot + vue
im88888/so-vits-svc
SoftVC VITS Singing Voice Conversion
im88888/JPick
JPick | B 站下载器 | Bilibili 视频下载 | bilibili video downloader
im88888/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
im88888/jynew
金庸群侠传3D重制版
im88888/transformers.satisfy
propositional satisfiability problem (SAT) goes neural and deep
im88888/awesome-cs-books
经典编程书籍大全,涵盖:计算机系统与网络、系统架构、算法与数据结构、前端开发、后端开发、移动开发、数据库、测试、项目与团队、程序员职业修炼、求职面试等
im88888/-
别摸鱼了,快干活.jpg
im88888/Local-Search-for-SAT
Implementation of local search-based algorithms for solving SAT and Max-SAT in Python
im88888/-lgy
for test
im88888/sat
Learning local search heuristics for Boolean satisfiability
im88888/dlut-ipv6
利用ipv6免流蹭网,大连理工都气哭惹