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
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 9 months ago
• downforacross / downforacross.com
  Web frontend for downforacross.com -- continuation of stevenhao/crosswordsio
  ☆290Updated 2 weeks ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,451Updated last year
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆988Updated 3 weeks ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆785Updated last week
• WillCS / uqplanner
  A successor to the much revered and sorely missed UQ Timetable Planner
  ☆30Updated 2 months ago
• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆939Updated 2 months ago
• c4cs / c4cs.github.io
  Course Homepage for Computing for Computer Scientists
  ☆47Updated 5 years ago
• system-f / fp-course
  Functional Programming Course
  ☆4,204Updated 9 months ago
• UQComputingSociety / cpg
  Resources for the UQCS competitive programming group
  ☆20Updated last year
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆452Updated 6 years ago
• ryanhugh / searchneu
  Search over Classes, Professors and Employees at NEU!
  ☆74Updated 5 years ago
• dmjio / miso
  A tasty Haskell web framework
  ☆2,301Updated this week
• celestial-winter / vics
  ☆99Updated 2 years ago
• HoTT / book
  A textbook on informal homotopy type theory
  ☆2,096Updated this week
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆378Updated 6 months ago
• owlbarn / owl
  Owl - OCaml Scientific Computing @ https://ocaml.xyz
  ☆1,295Updated 4 months ago
• CodeGrade / hourglass
  Web-based exam server.
  ☆13Updated 6 months ago
• google / codeworld
  Educational computer programming environment using Haskell
  ☆1,260Updated 4 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• therewillbecode / poker-maison
  🂺 A Multiplayer Poker App Crafted with Haskell and React
  ☆308Updated last year
• MLH / mlh-no-light
  No Light - one of the many fun mini-events we run.
  ☆33Updated 3 months ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,451Updated 2 weeks ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆226Updated 6 months ago
• DennisMitchell / jellylanguage
  Jelly is a recreational programming language inspired by J.
  ☆890Updated 5 years ago
• mbutterick / pollen
  book-publishing system [mirror of main repo at https://gitlab.com/mbutterick/pollen]
  ☆1,198Updated 3 years ago
• YACS-RCOS / yacs
  Yacs - The Scheduler for Everyone
  ☆70Updated 4 years ago