christiankiller / verifpalView external linksLinks
Cryptographic protocol analysis for students and engineers.
☆11Aug 27, 2019Updated 6 years ago
Alternatives and similar repositories for verifpal
Users that are interested in verifpal are comparing it to the libraries listed below
Sorting:
- A place for LaTeX templates used at University of South-Eastern Norway, Campus Porsgrunn☆18Nov 6, 2024Updated last year
- ☆17Jan 23, 2025Updated last year
- Counts commits across all organisation repos and gives you some pretty charts☆12Nov 16, 2023Updated 2 years ago
- Simplicity SDK for Zephyr☆17Updated this week
- ☆12Feb 5, 2026Updated last week
- Modular open source hardware control stack☆10Jul 8, 2016Updated 9 years ago
- Time management library for embedded devices☆12Apr 21, 2019Updated 6 years ago
- [DEPRICATED] Project won't be continued.☆10Jul 31, 2023Updated 2 years ago
- Example projects for Zephyr RTOS on RAK3172/RAK4631/RAK5010/RAK11720☆10Dec 6, 2025Updated 2 months ago
- Simple single-screen JavaScript-driven OAuth 1.0 signed call and execution app.☆15Mar 6, 2011Updated 14 years ago
- Example of ESP32 FUOTA process with rollback☆10Jan 30, 2024Updated 2 years ago
- The software for the Ribbit Network Frog Sensor☆12Jun 2, 2025Updated 8 months ago
- ☆19Feb 5, 2026Updated last week
- Texas Instruments SimpleLink downstream of https://github.com/zephyrproject-rtos/zephyr☆11Feb 2, 2026Updated 2 weeks ago
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago
- A quad copter running under chibios☆12Sep 18, 2012Updated 13 years ago
- Block based storage on non volatile memory with wear levelling☆12Jun 2, 2023Updated 2 years ago
- ☆11Feb 6, 2026Updated last week
- ☆10Sep 15, 2021Updated 4 years ago
- Emscripten port of libffi☆12Jun 21, 2023Updated 2 years ago
- An optimistic implementation of ZkDai☆16Jan 17, 2019Updated 7 years ago
- DFU library implementation using libusb☆14Nov 12, 2025Updated 3 months ago
- A collection of the models I've designed to print on my 3D printer☆12Aug 9, 2015Updated 10 years ago
- Z80 CPU + UART + Timer + I/O Ports coded in VHDL and implemented for the Lattice iCE40-hx8k dev board☆10Aug 10, 2016Updated 9 years ago
- ☆16Mar 25, 2013Updated 12 years ago
- Examples for the cose-spec☆18Mar 13, 2024Updated last year
- Implementation of the UsbBus trait of usb-device, which simulates a Bus as a USBIP Server. Useful for developing UsbClass traits and simu…☆18Nov 15, 2023Updated 2 years ago
- Simple Segger RTT console☆13Oct 21, 2024Updated last year
- CloudEvents Transformation engine☆10Oct 12, 2021Updated 4 years ago
- MQT-TZ Fork of the Open Source mosquitto MQTT broker leveraging ARM TrustZone. https://mosquitto.org☆11Jul 23, 2020Updated 5 years ago
- An AVR Arduino bootloader that supports uploads over Ethernet (via TFTP) and Serial.☆14Mar 25, 2022Updated 3 years ago
- Work on IoT Semantic/Hypermedia Interoperability☆10Jun 27, 2022Updated 3 years ago
- Userspace USBIP server (i.e., "shares a USB device") implementation based on python-libusb1☆17Jul 4, 2023Updated 2 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Nov 11, 2025Updated 3 months ago
- Initial Clean Commit☆24Dec 25, 2025Updated last month
- Collect and process ambient Bluetooth Low Energy packets from Minew gateways for real-time location and sensing. We believe in an open I…☆13Aug 28, 2024Updated last year
- Tool to convert input application into unikernel image☆10Mar 30, 2017Updated 8 years ago
- Ethereum wallet library for Particle Photon☆11Apr 12, 2018Updated 7 years ago
- Eagle PCB designs for adapting SMD parts to ugly (or Manhattan) style breadboarding☆14Jul 22, 2016Updated 9 years ago