recursion-ninja / CSCI-499-2021-Fall

Related projects ⓘ

Alternatives and complementary repositories for CSCI-499-2021-Fall

• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆33Updated 3 years ago
• bmillwood / pointfree
  Maintenance of the pointfree Hackage package.
  ☆145Updated last month
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆359Updated 10 months ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆291Updated last week
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆272Updated 4 months ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆89Updated last year
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 7 years ago
• well-typed / optics
  Optics as an abstract interface
  ☆375Updated 3 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆99Updated last month
• grin-compiler / ghc-grin
  GRIN backend for GHC
  ☆143Updated 3 years ago
• nbloomf / webdriver-w3c
  Haskell bindings for the W3C WebDriver API
  ☆23Updated 3 months ago
• haskell / core-libraries-committee
  ☆95Updated this week
• mstksg / advent-of-code-2020
  🎅🌟❄️☃️🎄🎁
  ☆98Updated this week
• simmsb / calamity
  A library for writing discord bots in haskell
  ☆112Updated last month
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆71Updated 2 years ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆134Updated 4 years ago
• haskell / text
  Haskell library for space- and time-efficient operations over Unicode text.
  ☆408Updated 3 weeks ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆135Updated 2 months ago
• jwshii / etna
  ☆10Updated last week
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆102Updated 3 weeks ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆289Updated last year
• kowainik / stan
  🕵️ Haskell STatic ANalyser
  ☆571Updated last month
• haskellfoundation / volunteering
  Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.
  ☆26Updated last year
• cronokirby / haze
  A bittorrent client, for learning purposes
  ☆107Updated 5 years ago
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆389Updated 11 months ago
• dagit / happy-plus-alex
  Template for quickly and easily combining happy and alex
  ☆49Updated 9 years ago
• facebookincubator / retrie
  Retrie is a powerful, easy-to-use codemodding tool for Haskell.
  ☆503Updated 4 months ago
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆164Updated this week