Alternatives and similar repositories for uqcsbot-slack

Users that are interested in uqcsbot-slack are comparing it to the libraries listed below

• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated last year
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆234Updated 2 years ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 4 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆703Updated 6 months ago
• ForumMagnum / ForumMagnum
  The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
  ☆673Updated this week
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆990Updated 2 weeks ago
• system-f / fp-course
  Functional Programming Course
  ☆4,214Updated 3 weeks ago
• panathea / schedule-generator
  A schedule generator for the University of Ottawa written in Java, using OCSF.
  ☆67Updated 4 years ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,462Updated last week
• thecsw / memeinvestor_bot
  This bot can help you invest in memes and make a fortune out of it!
  ☆135Updated 6 years ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last month
• snowleopard / alga
  Algebraic graphs
  ☆747Updated 2 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆370Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆804Updated last year
• dmjio / miso
  A tasty Haskell web framework
  ☆2,327Updated this week
• kai-qu / notation
  Collection of quotes on notation design & how it affects thought.
  ☆1,895Updated 4 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆785Updated 2 weeks ago
• pittcsc / PittAPI
  An API to easily get data from the University of Pittsburgh
  ☆116Updated 7 months ago
• ehzhang / HELPq
  💁 an extensible real-time queue application, for mentorship @ hackathons and classrooms
  ☆268Updated 5 years ago
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆730Updated 6 months ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆384Updated 8 months ago
• therewillbecode / poker-maison
  🂺 A Multiplayer Poker App Crafted with Haskell and React
  ☆314Updated last year
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• downforacross / downforacross.com
  Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
  ☆303Updated last month
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,405Updated 2 years ago
• signmeup / signmeup
  Real-time application to sign up for and manage TA hours.
  ☆95Updated 3 years ago
• tweag / asterius
  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
  ☆1,958Updated 2 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,199Updated 3 years ago
• dannybd / courseroad
  CourseRoad is a four-year academic planner for undergraduates.
  ☆63Updated 6 years ago