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
Sorting:
- A macro system for hubot 💨☆16Mar 5, 2023Updated 3 years ago
- A small Redis-based URL Redirector☆72Jul 23, 2019Updated 6 years ago
- Library of Coq proof automation☆16Feb 15, 2022Updated 4 years ago
- An interactive Elasticsearch Workshop for beginners to learn about Elasticsearch and Search Engines in a hands-on way.☆17Oct 22, 2017Updated 8 years ago
- A self-updating GitHub profile 🐯☆15Mar 13, 2026Updated last week
- Tools for reasoning about circuits in Rosette/Racket 🔌☆19Feb 1, 2025Updated last year
- Tracker for Pokemon Soullocke (soul-linked Nuzlocke) runs☆14Jan 29, 2026Updated last month
- 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
- A tiny WWVB station 📡☆27Aug 2, 2025Updated 7 months ago
- A complete documentation of rules for the card game Mao in 2E☆17Nov 29, 2018Updated 7 years ago
- Multiplayer Wordle — Played over 1 million times☆17Jul 4, 2024Updated last year
- This is the HackMIT Splash Page.☆11Jun 16, 2017Updated 8 years ago
- 💁 an extensible real-time queue application, for mentorship @ hackathons and classrooms☆268Feb 11, 2020Updated 6 years ago
- HackMIT's open source projects☆83Mar 31, 2023Updated 2 years ago
- A framework for formally verifying hardware security modules to be free of hardware, software, and timing side-channel vulnerabilities 🔏☆40Nov 29, 2025Updated 3 months ago
- Most of my *nix-y configuration files.☆12Mar 25, 2021Updated 4 years ago
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 5 years ago
- 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
- 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
- A Spark Photon-based WiFi/Microcontroller development board in the shape of an Arduino Uno.☆11Jun 29, 2021Updated 4 years ago
- Source repo for https://scuttlebot.io☆11Feb 27, 2021Updated 5 years ago
- Minimal working example of deployment of a jupyter notebook using voila, jupyter/docker-stacks and nginx☆12Jul 3, 2020Updated 5 years ago
- [UNMAINTAINED] A terminal user interface for redshift☆17Oct 6, 2024Updated last year
- ☆49Sep 20, 2021Updated 4 years ago
- deterministic pseudorandom number generation☆12Apr 25, 2018Updated 7 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
- 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
- ☆16Jan 23, 2026Updated last month
- A project expo judging system 📊☆475Feb 20, 2026Updated last month
- My solutions for Advent of Code (all years!)☆49Dec 25, 2022Updated 3 years ago
- ☆15Jun 24, 2018Updated 7 years ago
- Real-time dashboards, graphs, and analytics for Philadelphia's Regional Rail train system.☆15Sep 9, 2024Updated last year
- Lua parser and pretty-printer☆15May 13, 2024Updated last year
- Development has moved to Codeberg. The new repository can be found at https://codeberg.org/ktprograms/Ohms_Now.☆15Jan 26, 2022Updated 4 years ago
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 3 years ago