Alternatives and similar repositories for opgaves:

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

• catabriga / graphwar
  ☆280Updated 2 years ago
• dtraytel / cyp
  Checker for "morally correct" induction proofs about haskell programs
  ☆8Updated 2 years ago
• twinters / zoek-nieuws
  Twitterbot that automatically searches the news with user-provided search terms, and posts relevant links.
  ☆10Updated 2 years ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆15Updated 12 years ago
• torjusti / cube-solver
  A collection of Rubiks cube solvers implemented in JavaScript
  ☆23Updated 4 months ago
• EvilBabyDemon / VVZ_extension
  Browser extension for VVZ (ETHZ)
  ☆10Updated last month
• onionhoney / roux-trainers
  Rubik's cube trainer / solver for the Roux method.
  ☆49Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆242Updated last week
• cubing / ksolve-plus-fork
  Versioned mirror of Kåre's ksolve+ puzzle solver with @qqwref's enhancements.
  ☆24Updated 4 years ago
• Voltara / vcube
  Optimal Rubik's Cube solver
  ☆31Updated 9 months ago
• EvilBabyDemon / CourseReviewETH
  Code for forum to review courses at ETH
  ☆16Updated 3 weeks ago
• flypitch / flypitch
  A formal proof of the independence of the continuum hypothesis
  ☆121Updated 5 months ago
• lichess-org / fishnet
  Distributed Stockfish analysis for lichess.org
  ☆760Updated 3 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆137Updated 2 weeks ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• just-max / exzellenz
  An especially excellent font.
  ☆13Updated last year
• smlhelp / book
  deployment for smlhelp page
  ☆38Updated last year
• potassco / clingo
  🤔 A grounder and solver for logic programs.
  ☆636Updated 2 weeks ago
• lishid / MarmoUI
  Marmoset Improved! Better UI and functionality
  ☆40Updated 11 months ago
• cjquines / tsqx
  Asymptote preprocessor
  ☆12Updated 2 years ago
• olliequ / KittyBot
  A bot for the CS@unimelb Discord server.
  ☆11Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆295Updated 10 months 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…
  ☆116Updated 5 months ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆228Updated this week
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆32Updated last year
• LeifAndersen / PLGradSchools
  ☆226Updated 6 months ago
• ul-fmf / nadlogar
  Spletna storitev za generiranje nalog
  ☆18Updated last year
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• timschumi / tumbot
  An excellent Discord bot.
  ☆23Updated 3 months ago
• farmersrice / saltzero
  Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.
  ☆25Updated 4 years ago