Alternatives and similar repositories for haccepted

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

• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 4 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆41Updated 2 months ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆21Updated 8 years ago
• UniMath / Schools
  ☆93Updated 7 months ago
• vlecomte / cp-geo
  Handbook of geometry for competitive programmers
  ☆99Updated 7 years ago
• dolphingarlic / CompetitiveProgramming
  A collection of my solutions to various informatics olympiad problems
  ☆51Updated 2 years ago
• dacin21 / dacin21_codebook
  ☆117Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆33Updated 5 months ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆83Updated 2 years ago
• lukakalinovcic / geodeb
  Debug and visualize computational geometry problems
  ☆118Updated 3 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆130Updated 4 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆47Updated last week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆121Updated 6 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 4 years ago
• frodakcin / orz-bot
  orz
  ☆15Updated 3 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆95Updated 8 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated 2 months ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆181Updated last month
• isovector / algebra-driven-design
  Source material for Algebra-Driven Design
  ☆156Updated 2 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆195Updated 2 weeks ago
• cp-algorithms / cp-algorithms-aux
  Auxiliary stuff for article sources
  ☆81Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆181Updated 2 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated 3 months ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆65Updated 2 years ago
• kmyk / competitive-programming-library
  kimiyuki's library for competitive programming with C++
  ☆67Updated 4 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆157Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 2 months ago