Alternatives and similar repositories for opgaves:

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

• PascalPons / connect4
  Connect 4 Solver
  ☆289Updated 4 years ago
• lichess-org / fishnet
  Distributed Stockfish analysis for lichess.org
  ☆769Updated 2 months ago
• trolando / oink
  Oink, an implementation of modern parity game solvers
  ☆33Updated 2 months ago
• howard36 / probase
  An online math contest platform
  ☆19Updated last week
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆26Updated 3 weeks ago
• sebastianotronto / fmctutorial
  A tutorial for solving the Rubik's Cube with as few moves as possible.
  ☆27Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆237Updated this week
• bnjmnt4n / canvas-downloader
  Downloader for Canvas written in Rust
  ☆35Updated 8 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆283Updated last week
• Gigantua / Gigantua
  Gigantua: Single Threaded - 2 Billion Moves/s Chess position enumerator
  ☆128Updated 2 years ago
• vprover / vampire
  The Vampire Theorem Prover
  ☆327Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 9 months ago
• miguel-ambrona / D3-Chess
  Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves tha…
  ☆52Updated 3 weeks ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated last year
• GunshipPenguin / shallow-blue
  UCI Chess engine written in C++11
  ☆71Updated 2 years ago
• olliequ / KittyBot
  A bot for the CS@unimelb Discord server.
  ☆11Updated this week
• rkaminsk / vim-syntax-clingo
  📜 Syntax highlighting and auto indentation for clingo/gringo.
  ☆12Updated 2 years ago
• AtomicFrontierCode / keyboards
  Simulated annealing code for video
  ☆287Updated last year
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆898Updated 8 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• crillab / pyxai
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or c…
  ☆31Updated last week
• TRCYX / py_monad_do
  Do notation in Python.
  ☆8Updated 4 years ago
• lynn / lidysisku
  Fast lojban dictionary https://foldr.moe/lidysisku/
  ☆13Updated 2 weeks ago
• moves-rwth / storm
  A Modern Probabilistic Model Checker
  ☆144Updated this week
• coq / vscoq
  Visual Studio Code extension for Coq
  ☆365Updated this week
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 3 years ago
• be-oi / beoi-training
  Public training materials for Belgian Oympiad in Informatics
  ☆31Updated last week
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• potassco / clasp
  ⚙️ A conflict-driven nogood learning answer set solver
  ☆120Updated last week
• TDA283-compiler-construction / project
  Material for TDA283 / DIT300 Compiler Construction
  ☆12Updated 8 months ago