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 2 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆586Updated 2 months ago
• Gabriella439 / grace
  A prompt engineering functional programming language
  ☆480Updated this week
• kowainik / relude
  🌀 Safe, performant, user-friendly and lightweight Haskell standard library
  ☆731Updated last week
• swarm-game / swarm
  Resource gathering + programming game
  ☆902Updated this week
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆884Updated last year
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆35Updated 4 years ago
• kowainik / summoner
  🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects
  ☆711Updated last year
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆509Updated 6 months ago
• tweag / ormolu
  A formatter for Haskell source code
  ☆1,039Updated last week
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated last year
• i-am-tom / haskell-exercises
  A little course to learn about some of the more obscure GHC extensions.
  ☆658Updated 2 years ago
• kowainik / learn4haskell
  👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests
  ☆1,028Updated last year
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,406Updated 2 years ago
• ndmitchell / hoogle
  Haskell API search engine
  ☆791Updated last week
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆412Updated this week
• lollobaldo / Inf2D-cw1--autotester
  ☆23Updated 4 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆392Updated last week
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆154Updated last week
• takenobu-hs / haskell-symbol-search-cheatsheet
  Haskell/GHC symbol search cheatsheet
  ☆326Updated last year
• composewell / streamly
  High performance, concurrent functional programming abstractions
  ☆910Updated last month
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆684Updated 3 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆320Updated 7 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆142Updated 5 years ago
• exercism / haskell
  Exercism exercises in Haskell.
  ☆518Updated 2 weeks ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆290Updated 2 years ago
• fused-effects / fused-effects
  A fast, flexible, fused effect system for Haskell
  ☆665Updated 3 weeks ago