Alternatives and similar repositories for codeforces-haskell

Users that are interested in codeforces-haskell are comparing it to the libraries listed below

• emilypi / group-theory
  The theory of groups
  ☆80Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆53Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆170Updated 3 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 3 years ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 9 months ago
• UniMath / Schools
  ☆88Updated 5 months ago
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated last year
• haskell / haskell-report
  Haskell Language Report
  ☆94Updated 5 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year
• benediktahrens / CT4P
  ☆35Updated 2 weeks ago
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 4 months ago
• kim-em / lean-category-theory
  An experimental category theory library for Lean
  ☆51Updated 2 years ago
• 0x0f0f0f / yasih
  Yet another Scheme implemented in Haskell
  ☆20Updated 5 years ago
• ryanorendorff / functional-linear-algebra
  Formalizing linear algebra in Agda by representing matrices as functions
  ☆26Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 10 months ago
• w7cook / AoPL
  A book on programming languages, using Haskell
  ☆166Updated 4 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆155Updated last week
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• cedille / ial
  The Iowa Agda Library
  ☆49Updated this week
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆130Updated last month
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆54Updated last week
• awodey / math
  Mathematical notes and papers
  ☆26Updated 3 weeks ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• OPLSS / introduction-to-algebraic-effects-and-handlers
  Introduction to algebraic effects and handlers
  ☆98Updated 7 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 3 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• Lysxia / advent-of-coq-2021
  ☆44Updated 3 years ago