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
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆48Updated 9 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆159Updated last month
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆73Updated 2 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆347Updated 6 months ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆16Updated 12 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆300Updated 3 weeks ago
• haskell / core-libraries-committee
  ☆101Updated 2 months ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆146Updated 8 months ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆618Updated last month
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆594Updated 7 months ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 3 years ago
• antalsz / hs-to-coq
  Convert Haskell source code to Coq source code
  ☆281Updated 4 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆176Updated this week
• haskell-CI / haskell-ci
  Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations
  ☆442Updated 2 weeks ago
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆197Updated 3 years ago
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆290Updated 2 months ago
• jwshii / etna
  ☆11Updated last month
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆189Updated last week
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• harp-project / AML-Formalization
  ☆11Updated this week
• astampoulis / makam
  The Makam Metalanguage
  ☆198Updated 2 years ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆200Updated last week
• jfaure / Irie-lang
  Subtyping calculus of inductive constructions
  ☆54Updated last year
• zhangchiqing / beginner-friendly-haskell-for-web-development
  A book about real world web development in beginner friendly Haskell
  ☆77Updated 6 years ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆169Updated last week
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆265Updated this week
• ChrisPenner / wc
  Beating unix `wc` in Haskell
  ☆136Updated 3 years ago