HackMIT's personal assistant!
☆15Dec 11, 2022Updated 3 years ago
Alternatives and similar repositories for hackmit-hackbot
Users that are interested in hackmit-hackbot are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A hubot script that expands mentions of groups 👫☆26Mar 5, 2023Updated 3 years ago
- Quick framework for generating Mechanical Turk tasks☆24Nov 3, 2017Updated 8 years ago
- A small Redis-based URL Redirector☆72Jul 23, 2019Updated 6 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated last week
- A self-updating GitHub profile 🐯☆15Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Feb 1, 2025Updated last year
- Tracker for Pokemon Soullocke (soul-linked Nuzlocke) runs☆14Jan 29, 2026Updated 2 months ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆17Jun 9, 2021Updated 4 years ago
- How to set up OAuth 2.0 from MIT OpenID using Passport.js and selected guides on understanding OAuth 2.0.☆12Jan 21, 2018Updated 8 years ago
- 💁 an extensible real-time queue application, for mentorship @ hackathons and classrooms☆268Feb 11, 2020Updated 6 years ago
- An open-source dashboard for MyMLH☆25Oct 1, 2020Updated 5 years ago
- "Who is in the office?" 👀☆192Mar 5, 2023Updated 3 years ago
- Fix sloppy coding through negative reinforcement!☆36May 23, 2016Updated 9 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆46Apr 2, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Creating a Pokemon battling and analyzing C++ library designed for speed.☆25Updated this week
- An embedded and encrypted database☆11Dec 10, 2016Updated 9 years ago
- 🐠 Generate secret, user-specific colors for emails so your users don't get phished 🐡☆42Apr 9, 2019Updated 7 years ago
- Browser extension to show items from HN's /newest page on the front page.☆11Nov 14, 2016Updated 9 years ago
- Weaving analytical stories from text data☆12Dec 21, 2023Updated 2 years ago
- "Sonic Kernel Testing" - a Linux Kernel testing tool - moved to gitlab.com☆11May 25, 2020Updated 5 years ago
- ✨ A daily crossword game – Like a tiny game of Bananagrams or Scrabble, generated each day.☆10Sep 6, 2024Updated last year
- A simple Glyphs App plugin to find words that contain the selected glyphs.☆11Sep 18, 2024Updated last year
- rack provisioning utility for Kinvolk projects☆14Jan 14, 2022Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- DevSecOps Guide, located devsecops.pagerduty.com☆14Apr 1, 2026Updated last week
- GNOME QuickStart Docs☆12May 22, 2016Updated 9 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Fake node.js file system for testing☆32Oct 12, 2014Updated 11 years ago
- ☆15Jan 23, 2026Updated 2 months ago
- A project expo judging system 📊☆477Feb 20, 2026Updated last month
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- ☆14Nov 16, 2020Updated 5 years ago
- a variation on the idea of review-gator☆13Dec 17, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆15Jun 24, 2018Updated 7 years ago
- Hardware-based password/SSH key/secret manager for people serious about security☆23Dec 30, 2022Updated 3 years ago
- Lua parser and pretty-printer☆15May 13, 2024Updated last year
- Plucky errors and exceptions☆20Nov 7, 2020Updated 5 years ago
- Display Python source code and bytecode side-by-side at the command line☆23Oct 3, 2023Updated 2 years ago
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 4 years ago
- AI@MIT Workshops (Updated for Fall 2021)☆48Nov 30, 2021Updated 4 years ago