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

• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆281Updated 2 months ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• haskell / core-libraries-committee
  ☆97Updated last month
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆123Updated 2 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆190Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆296Updated last year
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆576Updated last month
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆92Updated last month
• davidrusu / MonadSweeper
  Minesweeper writtin in Haskell
  ☆39Updated 10 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated this week
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 4 months ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆343Updated 2 months ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆144Updated 4 months ago
• mtzguido / verificacion-con-fstar-2024
  Repositorio de la optativa para la FCEIA
  ☆16Updated 5 months ago
• jameshaydon / lawvere
  A categorical programming language with effects
  ☆274Updated last year
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆195Updated 3 years ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 2 years ago
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆605Updated last week
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆554Updated last year
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 4 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• Javran / advent-of-code
  Solutions, scripting, and templates for adventofcode.com
  ☆23Updated 11 months ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆34Updated 3 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• graninas / The-Voids-Of-Haskell
  ☆251Updated 4 months ago
• fireflowerr / sudoku.hs
  sudoku solver in haskell
  ☆41Updated 3 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆507Updated 7 months ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆163Updated last year