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

• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆108Updated 9 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 3 years ago
• tweag / linear-base
  Standard library for linear types in Haskell.
  ☆342Updated 4 months ago
• haskell / core-libraries-committee
  ☆99Updated 3 weeks ago
• zfoh / zfoh.ch
  Our homepage
  ☆19Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated 5 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆345Updated 3 months ago
• jwshii / etna
  ☆10Updated last week
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• patrickt / haskell-project-ideas
  Free ideas, worth every penny
  ☆33Updated 4 years ago
• agda / cornelis
  agda-mode for neovim
  ☆148Updated this week
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆275Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆297Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆287Updated 3 months ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆131Updated 3 years ago
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 9 years ago
• ReedOei / CMips
  A C to MIPS compiler.
  ☆10Updated 5 years ago
• martinescardo / HoTT-UF-Agda-Lecture-Notes
  Lecture notes on univalent foundations of mathematics with Agda
  ☆224Updated 11 months ago
• HugoPeters1024 / hs-sleuth
  This might one day be a thesis project
  ☆11Updated 2 years ago
• agda / agda-categories
  A new Categories library for Agda
  ☆374Updated this week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆173Updated this week
• DataHaskell / dh-core
  Functional data science
  ☆140Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆183Updated last week
• fireflowerr / sudoku.hs
  sudoku solver in haskell
  ☆41Updated 3 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 2 years ago