dengjiaping/HandsGoNew external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

dengjiaping/HandsGoNew

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/dengjiaping/HandsGoNew)

Close

dengjiaping / HandsGoNewView on GitHubMore

• External links
• Readme badge

This's a demo 掌中围棋

☆16Oct 29, 2014Updated 11 years ago

Alternatives and similar repositories for HandsGoNew

Users that are interested in HandsGoNew are comparing it to the libraries listed below

• uestccokey / HandsGo

  View on GitHub
  掌中围棋2.4版本源码，包含一个完善的SGF棋谱文件解析器，速度快，内存占用低适合Android使用
  ☆16May 24, 2016Updated 9 years ago
• oers / reversatile

  View on GitHub
  Reversatile: Reversi for Android
  ☆21May 4, 2025Updated 10 months ago
• alkom / droidzebra

  View on GitHub
  DroidZebra Reversi for Android
  ☆26Jun 15, 2019Updated 6 years ago
• nanleij / ClusteredLowRankSolver.jl

  View on GitHub
  A semidefinite programming solver for clustered low-rank SDPs
  ☆14Feb 25, 2026Updated last week
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• sanderland / tsumego

  View on GitHub
  Ten Thousand Tsumego App
  ☆38Oct 2, 2024Updated last year
• toomasr / sgf4j

  View on GitHub
  Simple SGF Parser for Java
  ☆34Jan 11, 2026Updated last month
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• ademar111190 / BitAC

  View on GitHub
  Bitcoin Address Checker
  ☆11Jul 23, 2024Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• flowersteam / EAGER

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• sparsh-99 / Java-Swing-ATM-Simulator

  View on GitHub
  Java-Swing based ATM is a mini project application coded in Java programming language built using Netbeans. The application can be used f…
  ☆20Sep 20, 2022Updated 3 years ago
• AareyanManzoor / Characteristic-Classes

  View on GitHub
  ☆11Sep 15, 2025Updated 5 months ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• StopInvolution / ChineseCheckers

  View on GitHub
  2022 中国人民大学 程序设计Ⅱ荣誉课程 大作业：跳棋
  ☆11Jun 30, 2022Updated 3 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• anonymous2100 / mybatis-audit-tool

  View on GitHub
  mybatis-audit-tool
  ☆10Nov 16, 2022Updated 3 years ago
• x-roocky / vue-shudan

  View on GitHub
  基于Vue.js的围棋盘组件，易用可定制
  ☆38May 13, 2019Updated 6 years ago
• dwrensha / math-puzzles-in-lean

  View on GitHub
  math puzzles from various sources, formalized in Lean
  ☆10Oct 21, 2023Updated 2 years ago
• zhangir-azerbayev / repl

  View on GitHub
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆12Jun 19, 2023Updated 2 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Updated this week
• BYU-PCCL / prompt-compression-contrastive-coding

  View on GitHub
  Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"
  ☆14May 31, 2023Updated 2 years ago
• astrainfinita / transcendental

  View on GitHub
  Lindemann–Weierstrass Theorem
  ☆11May 4, 2024Updated last year
• AareyanManzoor / Adams-Blue-Book

  View on GitHub
  The TeX for Adams' blue book, by the group TeXromancers
  ☆13Sep 15, 2025Updated 5 months ago
• rwbarton / lean-homotopy-theory

  View on GitHub
  A development of homotopy theory in the Lean formal theorem prover.
  ☆14Aug 27, 2020Updated 5 years ago
• CodeLadyJJY / ChineseChess_LAN

  View on GitHub
  中国象棋-网络版 C++ Cocos2d-x V3.10
  ☆12Jul 2, 2017Updated 8 years ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• ai4reason / ATP_Proofs

  View on GitHub
  Interesting ATP Proofs
  ☆13Sep 3, 2021Updated 4 years ago
• kuoruan / Android-BomberMan

  View on GitHub
  Android 炸弹人小游戏
  ☆10Jun 29, 2016Updated 9 years ago
• EshelGuo / Chess

  View on GitHub
  ☆12Sep 12, 2019Updated 6 years ago
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated 7 months ago
• kckennylau / local-langlands-abelian

  View on GitHub
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆12Dec 18, 2018Updated 7 years ago
• pbelmans / hodge-diamond-cutter

  View on GitHub
  Compute and manipulate Hodge diamonds for many classes of smooth projective varieties
  ☆11Jan 22, 2026Updated last month
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• mgieseki / gsview

  View on GitHub
  Unofficial copy of GSview 5.0
  ☆11Jun 7, 2019Updated 6 years ago
• ph-ausseil / llm-training-dataset-builder

  View on GitHub
  Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …
  ☆13Apr 17, 2023Updated 2 years ago
• elsamuko / xz_test

  View on GitHub
  Simple c++ wrapper for xz utils
  ☆13Jul 1, 2021Updated 4 years ago
• xufei / vue-chess

  View on GitHub
  做个vue的象棋玩玩
  ☆11May 7, 2016Updated 9 years ago
• m4lvin / tablean

  View on GitHub
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Oct 24, 2023Updated 2 years ago