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 👫☆25Mar 5, 2023Updated 3 years ago
- A macro system for hubot 💨☆16Mar 5, 2023Updated 3 years ago
- Library of Coq proof automation☆16Apr 1, 2026Updated 3 months ago
- Tools for reasoning about circuits in Rosette/Racket 🔌☆20Feb 1, 2025Updated last year
- Chrome Extension to check github issues assigned to you☆14Feb 7, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 🌎 Jep! multiplayer trivia online☆13Jul 11, 2026Updated last week
- A tool for formally verifying constant-time software against hardware 🕰️☆16Feb 1, 2025Updated last year
- Pacman-like game used for teaching software testing.☆10Sep 22, 2014Updated 11 years ago
- Web App tool for building Bootstrap forms with drag and drop.☆12Oct 28, 2015Updated 10 years ago
- Go client for the Updown API☆13Mar 7, 2022Updated 4 years ago
- My MEng thesis code - verifying a security property for an SoC with Rosette☆17Jun 9, 2021Updated 5 years ago
- DNS packet parser for node.js☆17Jan 9, 2023Updated 3 years ago
- CLI tool to book project rooms in UBC☆11Mar 23, 2018Updated 8 years ago
- Using NodeJS, ExpressJS, Consul, SenecaJS, Docker☆16Jun 27, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Open-source operations manual for Countable Web Productions Inc.☆18Jul 27, 2020Updated 5 years ago
- Protractor plugin that collects istanbul coverage results from a page and dumps them to coverage.json files (one per spec).☆15Oct 15, 2016Updated 9 years ago
- An FDF (Form Data Format) generator, for populating PDF forms from NodeJS☆28Jun 4, 2018Updated 8 years ago
- Manage sets of developer services -- "playground control"☆32Apr 2, 2026Updated 3 months ago
- Most of my *nix-y configuration files.☆12Mar 25, 2021Updated 5 years ago
- Mouse driven text editor inspired by Acme (text editor from Plan 9).☆19Jul 25, 2019Updated 6 years ago
- Mailosaur email and SMS testing library for Node.js☆22Jul 9, 2026Updated last week
- NIST P-256 signatures for Cortex-M4 microcontrollers☆17Mar 14, 2021Updated 5 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆48Jun 19, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Tools for analyzing Node.js programs with ptrace. This project is deprecated and not maintained.☆30Dec 3, 2019Updated 6 years ago
- A singleplayer RPG with a multiplayer battle arena game mode.☆29Aug 20, 2014Updated 11 years ago
- Source repo for https://scuttlebot.io☆11Feb 27, 2021Updated 5 years ago
- ✨ A daily crossword game – Like a tiny game of Bananagrams or Scrabble, generated each day.☆10Sep 6, 2024Updated last year
- Parallelize your JavaScript Applications with Ease☆42Oct 19, 2022Updated 3 years ago
- a fast productivity cli for Trello☆28Sep 27, 2022Updated 3 years ago
- This is the code repository for a simple Messenger echo bot.☆31Aug 22, 2025Updated 10 months ago
- DevSecOps Guide, located devsecops.pagerduty.com☆15Jun 26, 2026Updated 3 weeks ago
- A terminal user interface for redshift☆17May 9, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Spince is a clickbait blocker that compares the relevance of link text with the text on the actual linked page.☆38Sep 21, 2016Updated 9 years ago
- GNOME QuickStart Docs☆12May 22, 2016Updated 10 years ago
- A cli tool to get movie ratings and reviews directly to your terminal!☆37Nov 24, 2019Updated 6 years ago
- GHC plugin for hlint☆12Oct 4, 2023Updated 2 years ago
- Detect credit card exposures with Bro☆15Nov 12, 2023Updated 2 years ago
- Ventib records your voice, transcribes it in realtime, and performs speech pattern analysis to give you objective statistics about how y…☆46Dec 6, 2015Updated 10 years ago
- ☆15Jun 24, 2026Updated 3 weeks ago