Models, Scripts and Slides from "Untrustworthy Hardware and How to Fix It"
☆22Aug 2, 2017Updated 8 years ago
Alternatives and similar repositories for THP
Users that are interested in THP are comparing it to the libraries listed below
Sorting:
- Javacard implementation of Curve25519 (prototype, work-in-progress)☆31Mar 8, 2021Updated 5 years ago
- Android downloadr app for s.basketbuild.com☆15Oct 19, 2022Updated 3 years ago
- A sample applet on how to deploy traditional Diffie-Hellman on JavaCard.☆11Feb 21, 2016Updated 10 years ago
- Allows one-click installation of Mac OS 0.x - 9.x software.☆11Apr 24, 2014Updated 11 years ago
- Build minimal ACI containers using the Nix package manager☆16Jun 4, 2017Updated 8 years ago
- ⚫️☆11Jun 9, 2020Updated 5 years ago
- PANORAMIX repo☆21Dec 10, 2022Updated 3 years ago
- ☆14May 24, 2025Updated 9 months ago
- An E-paper shelf label (electronic shelf label or ESL) base station based on said shelf label and an ESP32☆19Feb 3, 2023Updated 3 years ago
- Simple password-wallet application based on Intel SGX for linux.☆17May 2, 2020Updated 5 years ago
- Smiley theme for Pidgin/Adium, using emoji from Google/Android's Noto fonts.☆11May 11, 2020Updated 5 years ago
- Customized BootX-34 with debug logging & other tweaks to enable booting of Mac OS X Server 1.0 in qemu-ppc☆16Jan 12, 2017Updated 9 years ago
- Multiversal Interfaces for Classic MacOS☆15May 17, 2024Updated last year
- Gemini PDA Notes☆14Jun 19, 2018Updated 7 years ago
- An Open-Source Silicon Compiler for Reduced-Complexity Reconfigurable Fabrics☆15Mar 11, 2026Updated last week
- Linux alternative to the FTDI Utility FT_PROG☆14Apr 18, 2022Updated 3 years ago
- ☆13Dec 6, 2023Updated 2 years ago
- ☆11Mar 6, 2026Updated last week
- Firmware for the Nitrokey Pro device☆123May 27, 2025Updated 9 months ago
- Artwork for Haiku☆16Feb 16, 2025Updated last year
- Kernel source code for U1 (JianGuo 1)☆11Jul 18, 2016Updated 9 years ago
- ☆28Jun 30, 2018Updated 7 years ago
- Some personal config files☆16Updated this week
- ☆19Oct 13, 2025Updated 5 months ago
- FreeBSD stuff☆14Apr 14, 2025Updated 11 months ago
- A comprehensive list of post-quantum crypto schemes and their properties☆13May 3, 2024Updated last year
- ☆11Dec 6, 2022Updated 3 years ago
- MAV/EVS replacement system based on the CasparCG open video server☆19Nov 15, 2016Updated 9 years ago
- ☆13May 18, 2023Updated 2 years ago
- Fixes the BloodRayne 2 'BR2 FSAA Patch 1.666' patch on Windows 8.1 and Windows 10.☆21May 27, 2025Updated 9 months ago
- Deploy Trellis, Bedrock and Sage(optional) via CircleCI☆14Oct 19, 2020Updated 5 years ago
- An unofficial Matrix.org client for Sailfish OS.☆11Dec 2, 2018Updated 7 years ago
- Composer plugin for installing pro plugins powered by EDD software licensing☆15Sep 21, 2020Updated 5 years ago
- My openbox config☆28Oct 6, 2011Updated 14 years ago
- Implementation of a proposed method to improve constrained random simulation☆17Feb 22, 2019Updated 7 years ago
- A directory of Twitch chat bot accounts☆12Aug 29, 2025Updated 6 months ago
- Basilisk II and SheepShaver Macintosh emulators (PATCHES)☆25Nov 14, 2025Updated 4 months ago
- Art Project For Firefox displays masterpieces from Google Cultural Institute in your Firefox's new tabs☆14Apr 18, 2015Updated 10 years ago
- Minimal web frontend for esniper, a lightweight eBay sniping tool☆10Dec 16, 2018Updated 7 years ago