Alternatives and similar repositories for benzene-vanilla-cmake

Users that are interested in benzene-vanilla-cmake are comparing it to the libraries listed below

• FutaAlice / FutaHex2
  hex (board game), engine and AI.
  ☆34Updated 6 years ago
• likeaj6 / alphazero-hex
  AlphaZero implemented for Hex
  ☆24Updated 6 years ago
• richemslie / galvanise_zero
  Learning from zero (mostly based off of AlphaZero) in General Game Playing.
  ☆82Updated 2 years ago
• ryanbhayward / hexgui
  gui for board game hex (and Y) by broderick arneson
  ☆14Updated last year
• jseppanen / azalea
  Hex board game AI with self-play learning based on the AlphaZero algorithm
  ☆34Updated 5 years ago
• ForeverHaibara / Prover
  Auto math prover.
  ☆10Updated 10 months ago
• Lizn-zn / NeqLIPS
  NeqLIPS: a powerful Olympiad-level inequality prover
  ☆34Updated last month
• Lean-zh / tp-lean-zh
  Lean 定理证明
  ☆15Updated 3 weeks ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN
  Lean4中文教程
  ☆34Updated 4 months ago
• zimpha / problem-editorials
  A collection of editorials for problems solved by me.
  ☆22Updated 4 years ago
• augustepoiroux / LeanInteract
  LeanInteract: A Python Interface for Lean 4
  ☆32Updated this week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆100Updated 4 months ago
• alissa-tung / glean
  ☆24Updated this week
• Nugnikoll / MyReversi
  This is a project for learning game programming. Welcome to help me and fork it.
  ☆29Updated 3 years ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆162Updated this week
• frenzymath / herald_translator
  ☆15Updated 3 weeks ago
• jegi / Beijing-exercises
  Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023
  ☆34Updated last year
• roozbeh-yz / IMO-Steps
  ☆18Updated last month
• FR-vdash-bot / transcendental
  Lindemann–Weierstrass Theorem
  ☆11Updated last year
• ftiasch / ccpc-final-2020
  ☆31Updated last year
• kenjyoung / Neurohex
  ☆13Updated 3 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆120Updated last month
• rkruegs123 / geo-model-builder
  ☆22Updated 3 years ago
• trishullab / itp-interface
  Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…
  ☆15Updated last month
• dudubao2007 / CASTLE
  C++-Animation-(Standard-Template-Library)-Engine,or CASTLE for short,is a C++ plotting and animation engine created by BiliBili uploader …
  ☆11Updated 4 years ago
• lygztq / gomoku
  A gomoku game engine based on MCTS method combined with DNN. Using C++ and Python.
  ☆12Updated 6 years ago
• choukh / Baby-Set-Theory
  Coq集合论中文教程
  ☆44Updated 3 years ago
• AareyanManzoor / Adams-Blue-Book
  The TeX for Adams' blue book, by the group TeXromancers
  ☆11Updated last year
• plkmo / AlphaZero_Connect4
  PyTorch implementation of AlphaZero Connect from scratch (with results)
  ☆81Updated 5 years ago
• fjzzq2002 / winter_mutual_training_contest_2018
  2018年集训队冬令营前胡策个人吐槽仓库
  ☆34Updated 6 years ago