Alternatives and similar repositories for opgaves

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

• catabriga / graphwar
  ☆285Updated 3 years ago
• Jobarion / cubelib
  ☆18Updated 2 months ago
• moocfi / haskell-mooc
  Haskell MOOC University of Helsinki
  ☆430Updated 2 months ago
• CodinGame / SummerChallenge2024Olymbits
  https://www.codingame.com/contests/summer-challenge-2024-olymbits
  ☆13Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 9 months ago
• Treeniks / isabelle-lsp.nvim
  ☆15Updated last month
• cubing / ksolve-plus-fork
  Versioned mirror of Kåre's ksolve+ puzzle solver with @qqwref's enhancements.
  ☆25Updated 5 years ago
• Owstin / scrambow
  Puzzle Scramble Generator
  ☆17Updated 2 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆388Updated last month
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆28Updated 4 months ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆136Updated 8 years ago
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆199Updated this week
• FakePsyho / psyleague
  Simple cmd-line league system for bot contests.
  ☆70Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• espr1t / action
  Act!O(n) Arena
  ☆10Updated last week
• onionhoney / roux-trainers
  Rubik's cube trainer / solver for the Roux method.
  ☆58Updated 5 months ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 3 months ago
• jmerle / cg-local-app
  A desktop application which helps in synchronizing the CodinGame IDE with a local file
  ☆39Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• learnyouahaskell / learnyouahaskell.github.io
  A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
  ☆496Updated last week
• cubing / twips
  🔍 Twizzle Pattern Searcher — a program to find algs and scrambles for twisty puzzles.
  ☆43Updated this week
• anwarmamat / cmsc330fall20
  ☆34Updated 5 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆311Updated last month
• stedolan / counterexamples
  Counterexamples in Type Systems
  ☆406Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆352Updated 3 months ago
• timjb / uni-spicker
  Summaries of my university courses (in German)
  ☆27Updated 5 years ago
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 3 years ago
• tussosedan / kuebiko-cubing
  Analyze speedcubing timers export data with interactive charts and data insights
  ☆15Updated 2 years ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆428Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year