Alternatives and similar repositories for competitive-programming

Users that are interested in competitive-programming are comparing it to the libraries listed below

• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 3 weeks ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• masaeedu / reading
  ☆31Updated 3 years ago
• bellissimogiorno / nominal
  Haskell implementation of nominal datatypes and functions
  ☆44Updated 5 years ago
• isovector / algebra-checkers
  checkers for algebra driven design
  ☆34Updated 3 years ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆42Updated 3 weeks ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• fredefox / cat
  A formalization of category theory in cubical Agda
  ☆59Updated 5 years ago
• sdiehl / galois-field
  Finite field and algebraic extension field arithmetic
  ☆53Updated 2 years ago
• bolt12 / study-for-free
  Notes of various papers regaridng free monads and extensible effects
  ☆20Updated 6 years ago
• zenzike / yoda
  A simple combinator library
  ☆30Updated 7 years ago
• penkovsky / 10-days-of-grad
  Neural Networks and Deep Learning
  ☆33Updated 2 years ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆21Updated 8 years ago
• crypto-agda / crypto-agda
  Cryptographic Constructions in the Type Theory of Agda
  ☆52Updated 10 years ago
• yoricksijsling / ornaments-thesis
  My master thesis about generic programming and ornaments
  ☆16Updated 9 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆71Updated 6 years ago
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆34Updated 5 years ago
• UlfNorell / agda-bench
  Benchmarking tool for compile-time performance of Agda programs
  ☆19Updated 4 years ago
• basvandijk / scientific
  Arbitrary-precision floating-point numbers represented using scientific notation
  ☆75Updated last month
• msuperdock / vim-agda
  Asynchronous type-checking for Agda 2.6.2.
  ☆22Updated last year
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆74Updated 6 years ago
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆37Updated 2 weeks ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 5 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆75Updated 3 years ago
• haskell / entropy
  Easy entropy source for Haskell users.
  ☆28Updated last year
• ayberkt / formal-topology-in-UF
  Formal Topology in Univalent Foundations (WIP).
  ☆36Updated 3 years ago
• evertedsphere / how-to-implement-dependent-type-theory
  A tiny dependent typechecker in Haskell, translated from @andrejbauer's OCaml
  ☆38Updated 6 years ago
• isovector / type-sets
  type level sets
  ☆67Updated 6 years ago
• jpvillaisaza / cain
  Category theory applied to functional programming (undergraduate project)
  ☆34Updated 9 months ago