Alternatives and similar repositories for ChessCounter

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

• p-e-w / sequencer
  Purely algorithmic number sequence identification
  ☆30Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆30Updated 4 years ago
• joewhaley / bddbddb
  ☆11Updated 9 years ago
• Torvaney / flow-solver
  Solving the "Flow Free" game (mobile app) with Clojure and SAT
  ☆11Updated 5 years ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 2 months ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• caminadab / metamine
  A new declarative programming language
  ☆23Updated 4 years ago
• johnfontaine / chess-tools
  A collection of packages for chess analysis grouped under a @chess-tools scope.
  ☆10Updated 6 years ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆110Updated this week
• rayking99 / BlockStar
  A star for organising blocks and playing with transformers.
  ☆23Updated last year
• noway / yagrad
  yet another scalar autograd engine - featuring complex numbers and fixed DAG
  ☆26Updated last year
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆24Updated this week
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆203Updated last year
• jaschadub / VectorSmuggle
  Testing platform for covert data exfiltration techniques where sensitive documents are embedded into vector representations and tunneled …
  ☆55Updated this week
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆13Updated last year
• agiacalone / cecs-342-lab-prolog
  CECS 342 Lab 4: Logic Languages with SWI-Prolog
  ☆13Updated 3 years ago
• rurban / picat-lang
  git mirror with some local fixes. currently not uptodate
  ☆16Updated 2 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆48Updated 10 years ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• JosephSBoyle / skip_gram
  This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…
  ☆36Updated 2 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆163Updated last year
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆41Updated 2 weeks ago
• rpmcruz / price-theory
  Economics games, inspired by David D. Friedman's
  ☆12Updated 7 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• jart / matmul
  ☆18Updated 11 months ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆100Updated 3 weeks ago