Alternatives and similar repositories for opgaves

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

• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 8 months ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆9Updated 3 years ago
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆298Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆256Updated last week
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated 2 years ago
• illinois / queue
  A microservice queue for holding open office hours
  ☆86Updated 3 weeks ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated 2 months ago
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆27Updated 3 months ago
• diku-compSys / compSys-e2024
  ☆23Updated last month
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,154Updated last month
• MarkUsProject / Markus
  Git repository of MarkUs
  ☆265Updated last week
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆23Updated last week
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆55Updated last month
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆291Updated last month
• rocq-prover / vscoq
  Visual Studio Code extension for Coq
  ☆382Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• shtsai / checker-game
  Mini Checkers Game - AI project
  ☆9Updated 7 years ago
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆115Updated last month
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆113Updated 2 years ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆118Updated this week
• ccz181078 / Coq-BB5
  ☆302Updated last month
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 6 months ago
• umddb / cmsc424-fall2021
  ☆9Updated 2 years ago
• mhorod / oop-unit-tests
  Unit tests for problems of Object Oriented Programming course on TCS
  ☆10Updated 3 years ago
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆128Updated 7 years ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆163Updated 2 months ago
• obcode / glabs
  Manage GitLab for Labs from the Command Line
  ☆11Updated 5 months ago