Alternatives and similar repositories for CPHaskell

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

• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆38Updated 7 months ago
• meooow25 / haccepted
  Data structures and algorithms for competitive programming in Haskell
  ☆14Updated last year
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆125Updated 4 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆164Updated 3 months ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆309Updated 2 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 9 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆97Updated last week
• mvr / at
  Effective Algebraic Topology in Haskell
  ☆91Updated 10 months ago
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆141Updated 3 years ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆108Updated this week
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆108Updated 4 years ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆74Updated 5 months ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆60Updated last month
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆244Updated 4 months ago
• UniMath / Schools
  ☆86Updated 3 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆262Updated 2 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆128Updated 3 weeks ago
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆198Updated 3 months ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 6 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆178Updated 3 months ago
• emilypi / group-theory
  The theory of groups
  ☆80Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 2 months ago
• alt-romes / ghengin
  Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
  ☆71Updated last week
• soupi / rfc
  My slides and compilation of resources.
  ☆154Updated 11 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 5 months ago