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
  ☆30Updated 3 months ago
• LeifAndersen / PLGradSchools
  ☆230Updated 8 months ago
• aimyskk / competitive-haskell
  Snippets for competitive programming in Haskell
  ☆22Updated 7 years ago
• cronokirby / haskell-in-haskell
  Trying to write an understandable implementation of Haskell, in Haskell
  ☆124Updated 4 years ago
• vijayphoenix / Compiler-written-in-Haskell
  A Turing complete language 😉
  ☆42Updated 4 years ago
• bollu / ward
  WARD is a minimal, performant infinite whiteboard app for wacom tablets
  ☆21Updated 3 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆60Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆105Updated 3 years ago
• CMU-HoTT / scott
  Selected Papers of Dana S. Scott
  ☆161Updated 10 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• RedPRL / cooltt
  😎TT
  ☆225Updated last year
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆253Updated this week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆125Updated last year
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆219Updated this week
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆72Updated 2 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 8 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆248Updated 2 weeks ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆125Updated last year
• hkust-taco / mlscript
  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…
  ☆185Updated this week
• haskell-org / summer-of-haskell
  Source code of summer.haskell.org
  ☆91Updated last month
• soupi / rfc
  My slides and compilation of resources.
  ☆152Updated 7 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆184Updated this week
• rzk-lang / rzk
  An experimental proof assistant based on a type theory for synthetic ∞-categories.
  ☆219Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 5 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago