Alternatives and similar repositories for a-puzzle-a-day-solver

Users that are interested in a-puzzle-a-day-solver are comparing it to the libraries listed below

• sabo2 / pzprv3
  ☆32Updated 6 years ago
• opt-pan / penpa-edit
  ☆29Updated last year
• makenowjust / quine
  Quine Museum
  ☆342Updated 2 months ago
• bitlaw-jp / the-constitution-of-japan
  ☆554Updated 9 years ago
• qnighy / ipc_solver
  O(N log N)-space IPC solver in OCaml
  ☆52Updated 2 years ago
• hak7a3 / HyperTeXtTransferProtocol
  simple server
  ☆26Updated 6 months ago
• mame / minesweeper-spoiled-by-ai
  This Minesweeper AI does the brain-testing part for you. You do the luck-testing part.
  ☆148Updated 2 years ago
• rogenobl / narou
  Narou.rb - 小説家になろうのダウンローダ＆縦書き整形＆管理アプリ。Kindle（などの電子書籍端末）でなろうを読む場合に超便利です！
  ☆11Updated 6 months ago
• cpu-dev / cpu-dev.github.io
  ☆15Updated 5 years ago
• hak7a3 / 8cc.tex
  C Compiler written in TeX
  ☆42Updated 8 years ago
• rust-shogi-crates / shogi_core
  Defines fundamental data types and functions
  ☆10Updated 2 months ago
• monaqa / satysfi-enumitem
  SATySFi package for flexible ordered/unordered/description lists.
  ☆15Updated 3 years ago
• nyuichi / yabai-sat
  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail …
  ☆15Updated 4 years ago
• gfngfn / cs-thesis
  A SATySFi class file for writing CS master theses at The University of Tokyo
  ☆29Updated 6 years ago
• keiichiw / ucc
  Udon C Compiler: C compiler for our original CPU
  ☆84Updated 8 years ago
• hakatashi / esolang-battle
  [+.<] Win the esolang master!!!
  ☆12Updated 3 months ago
• tyfkda / nesemu
  NES Emulator written in TypeScript
  ☆73Updated 2 months ago
• sile / mineplacer
  Prepare for a game of Minesweeper by placing mines!
  ☆115Updated 8 months ago
• irori / wapuro-mincho
  "ワープロ明朝" - 80's Japanese word processor style font
  ☆87Updated 2 months ago
• mame / 6x6-reversi-oracle
  6x6-reversi oracle is a "perfect" player for reversi using 6x6 board
  ☆57Updated 3 years ago
• shoudai / bib-satysfi
  Citation in SATySFi like BibTeX
  ☆13Updated 5 years ago
• qnighy / satysfi-cross-windows
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Updated 7 years ago
• YouyouCong / ppl-summer-school-2022
  ☆24Updated 2 years ago
• hakatashi / unicode-map
  The Unicode Map Project
  ☆148Updated 3 years ago
• heistak / your-code-displays-japanese-wrong
  A static website to link to when someone's code is displaying Japanese wrong.
  ☆242Updated last year
• qnighy / logic-solver-rs
  ☆45Updated 2 years ago
• kmyk-jikka / Jikka
  an automated solver for problems of competitive programming
  ☆151Updated 3 years ago
• hakatashi / atcoder-auto-submitter
  Fully-automated AtCoder submitter backed by OpenAI Codex.
  ☆19Updated last year
• imos / lisp.rs
  Simplified Lisp written in Rust.
  ☆9Updated 8 years ago
• kenkoooo / rust-programming-contest-solutions
  Solutions of coding problems in Rust
  ☆9Updated 3 years ago