Alternatives and similar repositories for uqcsbot-slack

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

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated last year
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆943Updated 2 months ago
• UQComputingSociety / website
  The UQ Computing Society website.
  ☆12Updated last month
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated 4 months ago
• summerprogram2019 / orange
  🍊 橙功之道. The road to nutrition and health.
  ☆10Updated 2 years ago
• c4cs / c4cs.github.io
  Course Homepage for Computing for Computer Scientists
  ☆47Updated 5 years ago
• katrinafyi / uqtp
  Timetable planner for UQ courses, written in Typescript with React.
  ☆14Updated 3 years ago
• thecourseforum / theCourseForum
  theCourseForum project
  ☆24Updated 3 years ago
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 8 months ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆446Updated last week
• mrkev / cornell
  C0rn3LL 4 L337 H4xx0rz
  ☆36Updated 2 years ago
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,323Updated 4 months ago
• ForumMagnum / ForumMagnum
  The development repository for LessWrong2 and the EA Forum, based on Vulcan JS
  ☆688Updated last week
• nushackers / nushackers-site
  NUS Hackers website
  ☆48Updated this week
• Gabriella439 / simple-twitter
  A bare-bones Twitter clone implemented in a single file
  ☆732Updated 10 months ago
• UWFlow / rmc
  Flow is a website that lets you plan courses with friends.
  ☆233Updated 3 years ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆467Updated 4 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,202Updated 3 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆792Updated last month
• JetBrains / Arend
  The Arend Proof Assistant
  ☆735Updated 11 months ago
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,966Updated this week
• ocaml-community / awesome-ocaml
  A curated collection of awesome OCaml tools, frameworks, libraries and articles.
  ☆3,044Updated 3 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,486Updated 2 weeks ago
• therewillbecode / poker-maison
  🂺 A Multiplayer Poker App Crafted with Haskell and React
  ☆314Updated last year
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆303Updated last year
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,201Updated 3 weeks ago
• HOL-Theorem-Prover / HOL
  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regre…
  ☆718Updated this week
• quchen / articles
  Miscellaneous articles. The readme is the table of contents.
  ☆1,306Updated 2 years ago
• ryanhugh / searchneu
  Search over Classes, Professors and Employees at NEU!
  ☆75Updated 5 years ago
• downforacross / downforacross.com
  Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
  ☆316Updated 4 months ago