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

• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆583Updated 3 weeks ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆347Updated last month
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆388Updated this week
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• haskell-CI / haskell-ci
  Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
  ☆445Updated last week
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 4 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆309Updated 2 months ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆510Updated last month
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 5 months ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆291Updated 3 months ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆230Updated last year
• agda / agda-categories
  A new Categories library for Agda
  ☆384Updated last week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆118Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆164Updated 3 months ago
• haskell / core-libraries-committee
  ☆103Updated 3 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆349Updated last week
• snowleopard / alga
  Algebraic graphs
  ☆740Updated 3 weeks ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 9 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated this week
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆16Updated 12 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆620Updated last week
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last month
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated last week
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• haskell-perf / checklist
  The Haskell performance checklist
  ☆391Updated 5 years ago
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,253Updated this week