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 3 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆39Updated 7 months ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• UniMath / Schools
  ☆88Updated 4 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 7 months ago
• toku-sa-n / coqfmt
  Coq code formatter
  ☆24Updated 2 weeks ago
• jonsterling / forest
  My mathematical Zettelkasten, created using forester. Moved to sourcehut.
  ☆88Updated 3 months ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆38Updated 10 months ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆166Updated 4 months ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated 2 months ago
• lengyijun / goldbach_tm
  ☆25Updated 7 months ago
• awodey / CatLogNotes
  Categorical Logic Notes
  ☆80Updated 3 years ago
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆27Updated 7 months ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆162Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• bollu / minitt
  bollu learns implementation of dependent typing
  ☆31Updated 2 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 10 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 6 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆134Updated 3 years ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 11 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated 3 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆113Updated this week
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆177Updated this week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆83Updated 2 weeks ago
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆36Updated 8 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆190Updated last month