Alternatives and similar repositories for CSCI-499-2021-Fall

Users that are interested in CSCI-499-2021-Fall are comparing it to the libraries listed below

• recursion-ninja / Course-2025-08-CSCI-499
  CSCI 499 — Advanced Applications: A Hunter Fall 2025 Course
  ☆26Updated 3 months ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆587Updated 3 weeks ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• ghc-proposals / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆706Updated last month
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆508Updated 7 months ago
• snowleopard / alga
  Algebraic graphs
  ☆752Updated 3 weeks ago
• erkmos / haskell-companies
  A gently curated list of companies using Haskell in industry
  ☆982Updated 3 months ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 8 months ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆561Updated 2 years ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆15Updated 4 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆376Updated 5 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,076Updated 10 months ago
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,059Updated 7 months ago
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆658Updated 2 years ago
• ollef / sixten
  Functional programming with fewer indirections
  ☆778Updated 5 years ago
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,288Updated last week
• well-typed / optics
  Optics as an abstract interface
  ☆387Updated this week
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆718Updated 9 months ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆886Updated last year
• AndrasKovacs / smalltt
  Demo for high-performance type theory elaboration
  ☆579Updated last week
• haskell-perf / checklist
  The Haskell performance checklist
  ☆392Updated 5 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆319Updated 3 weeks ago
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,043Updated last month
• ndmitchell / hoogle
  Haskell API search engine
  ☆797Updated last week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆699Updated 3 weeks ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated this week
• swarm-game / swarm
  Resource gathering + programming game
  ☆903Updated last week
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆352Updated 2 weeks ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆900Updated 5 years ago