Alternatives and similar repositories for opgaves

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

• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆118Updated last week
• Kattis / kattis-cli
  Kattis online judge command line tool
  ☆55Updated last week
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 11 months ago
• pllk / kkkk
  Kisakoodarin käsikirja
  ☆15Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated this week
• eduxstad / boiler-grades
  code and data for https://boilergrades.com
  ☆27Updated 4 months ago
• agda / cornelis
  agda-mode for neovim
  ☆158Updated last month
• s-arash / org.alloytools.alloy
  Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from findin…
  ☆12Updated 3 years ago
• lin-e / imperial-revision
  ☆17Updated 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.
  ☆296Updated last year
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated 2 months ago
• Kattis / problem-package-format
  Kattis problem package format specification
  ☆12Updated last week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆155Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆112Updated 11 months ago
• jwshii / etna
  ☆11Updated 3 weeks ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆76Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆16Updated 2 months ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 2 months ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• rocq-prover / vsrocq
  Visual Studio Code extension for Coq
  ☆390Updated this week
• zkFold / symbolic
  Symbolic framework
  ☆17Updated this week
• UniMath / agda-unimath
  The agda-unimath library
  ☆255Updated this week
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆292Updated 5 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆269Updated last week
• nomeata / incredible
  The Incredible Proof Machine
  ☆376Updated 3 months ago
• cpitclaudel / alectryon
  A collection of tools for writing technical documents that mix Coq code and prose.
  ☆263Updated 3 months ago