Alternatives and similar repositories for opgaves

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

• be-oi / beoi-training
  Public training materials for Belgian Oympiad in Informatics
  ☆33Updated 8 months ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆226Updated 6 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆258Updated 7 months ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• OpenLogicProject / OpenLogic
  An open-source, customizable intermediate logic textbook
  ☆1,219Updated last week
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆17Updated 13 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆18Updated 7 months ago
• abigalekim / segtrees
  Several translations of segment trees for CMU's 15-451 (Algorithms).
  ☆21Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆314Updated 5 months ago
• mcserep / elteikthesis
  ELTE FI bachelor and master thesis template.
  ☆73Updated last year
• aykamko / abTreePractice
  Alpha-Beta Pruning Practice App
  ☆131Updated 8 years ago
• pllk / kkkk
  Kisakoodarin käsikirja
  ☆15Updated 3 years ago
• blegat / mathraining
  Site interactif avec théorie, exercices et problèmes
  ☆66Updated 2 weeks ago
• TDA283-compiler-construction / project
  Material for TDA283 / DIT300 Compiler Construction
  ☆17Updated 5 months ago
• ndmitchell / hoogle
  Haskell API search engine
  ☆779Updated 7 months ago
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• Komosa / cf
  submit solutions to codeforces.com from terminal
  ☆13Updated 2 years ago
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆306Updated 10 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆384Updated 8 months ago
• ranaldmiao / noiref
  NOI Reference for RI / SG IOI Teams
  ☆17Updated 7 years ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆303Updated 3 months ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆37Updated 11 months ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆137Updated last year
• afd / JavaTutorialQuestions
  Tutorial Questions for the Programming II course at Imperial College London
  ☆52Updated 2 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• michiwieland / hsr-zusammenfassungen
  Eine Sammlung an Zusammenfassungen/Cheatsheets, welche ich im Laufe meines Informatik Studiums an der HSR geschrieben habe.
  ☆46Updated 3 years ago
• catabriga / graphwar
  ☆285Updated 3 years ago
• Kattis / problemtools
  Tools to manage problem packages using the Kattis problem package format.
  ☆120Updated last month