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