MarcFontaine / stm32hsView external linksLinks
STM32 microcontroller hacking in Haskell / ST-Link USB driver
☆21Nov 15, 2025Updated 2 months ago
Alternatives and similar repositories for stm32hs
Users that are interested in stm32hs are comparing it to the libraries listed below
Sorting:
- Wireless magnetic card emulation☆14Sep 21, 2019Updated 6 years ago
- ☆12Jul 24, 2020Updated 5 years ago
- Portable WiFi/Bluetooth/RF-433MHz hacking device☆41Jun 29, 2024Updated last year
- MagTool is software for magnetic stripe readers & writers.☆15Jan 22, 2013Updated 13 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Module PMKIDAttack for WiFi Pineapple☆12Oct 6, 2022Updated 3 years ago
- ☆16Updated this week
- Keychain USB multiple password manager/generator/injector☆11Dec 7, 2015Updated 10 years ago
- Helper library to read out the current balance of canteen cards using NFC.☆12Oct 14, 2024Updated last year
- Inject scripted keystrokes and mouse movements into remote desktop sessions, including VMware View, Amazon Workspaces, and Microsoft RDP.…☆17Jul 25, 2014Updated 11 years ago
- Magnetic card spoofer☆12May 5, 2014Updated 11 years ago
- ☆10Jan 16, 2025Updated last year
- This is a place for everything UK related☆10Feb 1, 2023Updated 3 years ago
- emv software clone datas DUMPS from original card holder to chip blank card jcop any new generation blank card☆14Oct 25, 2017Updated 8 years ago
- Python interface to online UC Davis student services☆11Sep 20, 2016Updated 9 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Most powerfull Wifi Jammier.with fixes.☆12Oct 14, 2022Updated 3 years ago
- ☆18Jan 19, 2026Updated 3 weeks ago
- Samy Kamkar's Magspoof using SMD components☆16Dec 1, 2015Updated 10 years ago
- Schematics & Firmware for self-tuning portable RF Jammer☆11Feb 2, 2018Updated 8 years ago
- Code for the Arduino-based BadUSB inspired from the legendary Rubber Ducky from Hak5☆11Feb 28, 2023Updated 2 years ago
- Flipper Zero Protocol Pirate - work in progress by RocketGod☆36Updated this week
- PillDucky is similar to "Hak5's Rubber Ducky" but for STM32 boards.☆15Jul 27, 2021Updated 4 years ago
- PC sampling profiler for Cortex-M MCUs☆13Jan 23, 2026Updated 3 weeks ago
- A standalone ESP-32 PwngridSpam attack to Spam face and name on all pwnagotchi near you, and cause a DoScreen (Deni Of Screen PWND part)☆47Oct 30, 2024Updated last year
- See https://www.meriac.com/dl/HID-iCLASS-security.pdf and https://events.ccc.de/congress/2010/Fahrplan/attachments/1784_HID-iClass-27C3.p…☆14Nov 26, 2017Updated 8 years ago
- clone mifare card based on arduino uno☆11May 23, 2017Updated 8 years ago
- NetSurf web browser for AmigaOS 3.x☆11Aug 1, 2016Updated 9 years ago
- GNURadio OOT module for decoding KeeLoq transmitters.☆10Jun 30, 2017Updated 8 years ago
- ☆11Jan 1, 2025Updated last year
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Man-in-the-middle device for attacking RFID access control systems☆16Feb 7, 2023Updated 3 years ago
- Custom Hardware and Firmware Bin Files for the PortaRF Gadget☆31Dec 28, 2025Updated last month
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- A tool for formally verifying constant-time software against hardware 🕰️☆13Feb 1, 2025Updated last year
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- Source code to execute signal injection attacks against CCD image sensors☆11Aug 26, 2021Updated 4 years ago