Alternatives and similar repositories for opgaves

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

• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,205Updated 3 weeks ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last week
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated last month
• lin-e / imperial-revision
  ☆19Updated 3 years ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months 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.
  ☆299Updated last year
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 10 months ago
• wo / tpg
  Tree Proof Generator
  ☆172Updated 7 months ago
• jordanspooner / ic-second-year-notes
  Notes for second year Computing at Imperial College London
  ☆16Updated 6 years ago
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆28Updated 3 weeks ago
• satlive / website
  SAT Live! web site
  ☆11Updated 4 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆407Updated 2 weeks ago
• lunaflight / courserekt
  Simple interface to see the history of course demand and allocation
  ☆45Updated last month
• dragonwasrobot / learn-prolog-now-exercises
  My solutions to the exercises and practical sessions of the book 'Learn Prolog Now!' by Patrick Blackburn, Johan Bos, and Kristina Strieg…
  ☆290Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆222Updated this week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆17Updated 6 months ago
• howtoosee / 9597_H2_Computing
  Notes for GCE 'A' Levels 9597 H2 Computing
  ☆17Updated 5 years ago
• jordanspooner / ic-first-year-notes
  Notes for first year Computing at Imperial College London
  ☆53Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆225Updated 4 months ago
• ccz181078 / Coq-BB5
  ☆341Updated last week
• zloutek1 / MasarykBOT
  Discord bot created mainly for the community of Faculty of Informatics, Masaryk's university.
  ☆13Updated last year
• julianlore / McGill-Resources
  Some class resources for classes I took/am taking at McGill as an undergraduate student.
  ☆59Updated 5 years ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆320Updated this week
• Bryce-3D / NUS-ModReg-Reports
  Repository to store NUS ModReg Vacancy Reports and Demand and Allocation reports for public access.
  ☆43Updated last month
• catabriga / graphwar
  ☆284Updated 3 years ago
• Funky-Punky / FPV_SS22_Repetitorium
  ☆17Updated last year
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆120Updated 2 weeks ago