FPGA verilog and firmware for TKey, the flexible and open USB security key π
β443Oct 8, 2026Updated last week
Alternatives and similar repositories for tillitis-key1
Users that are interested in tillitis-key1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- age plugin for keeping keys with a TKey USB security keyβ37Sep 11, 2025Updated last year
- Develop applications for the Tillitis TKey-1 an open source, open hardware FPGA-based USB security token using TinyGoβ36Jun 10, 2025Updated last year
- Secure, robust, and efficient delta updates for executablesβ20Updated this week
- Experiments with Cologne Chip's GateMate FPGA architectureβ19Nov 16, 2023Updated 2 years ago
- Constraint files for Hardware Description Language (HDL) designs targeting FPGA boardsβ49Feb 12, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- VHDLproc is a VHDL preprocessorβ24May 12, 2022Updated 4 years ago
- Project Peppercorn - GateMate FPGA Bitstream Documentationβ47Jun 16, 2026Updated 3 months ago
- Virtual development board for HDL designβ44Mar 31, 2023Updated 3 years ago
- Verilog implementation of the 32-bit version of the Blake2 hash functionβ22Dec 17, 2025Updated 9 months ago
- A list of mainboards with their status of BootGuard. See https://felixsinger.github.io/bootguard-statusβ33Sep 27, 2026Updated 2 weeks ago
- Tool to fix FT2232's uart interface configuration for ecp5evn (LFE5UM5G-85F-EVN) boardβ13Jun 17, 2021Updated 5 years ago
- A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (thβ¦β25Jun 29, 2026Updated 3 months ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)β19Dec 24, 2020Updated 5 years ago
- MAUS Arduino USB Mouse Jiggler β Mini Programmable ATtiny85 β Open Sourceβ40Updated this week
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- EFI configuration for slaxβ19Feb 24, 2020Updated 6 years ago
- Tests to evaluate the support of VHDL 2008 and VHDL 2019 featuresβ32Jan 30, 2025Updated last year
- System76 Open Source Embedded Controllerβ376Sep 23, 2026Updated 3 weeks ago
- OpenTitan: Open source silicon root of trustβ3,696Updated this week
- Modern Cryptographic Firmwareβ509Sep 29, 2026Updated 2 weeks ago
- Spicing up the first and (no longer) the only EU FPGA chip with a flashy new board, loaded with a suite of engaging demos and examples =>β¦β106May 8, 2026Updated 5 months ago
- ECP5 FPGA DEV BOARDβ10Apr 19, 2021Updated 5 years ago
- Blackwire SpinalHDL components implementing WireGuard primitivesβ16Aug 16, 2023Updated 3 years ago
- Automated Git mirror of Gaisler's GRLIB/Leon3 releasesβ21Jul 4, 2026Updated 3 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Simple 6502 system on a ULX3S FPGA boardβ20Feb 26, 2020Updated 6 years ago
- Betrusted embedded controller (UP5K)β50Dec 22, 2023Updated 2 years ago
- OSVVM project simulation scripts. Scripts are tedious. These scripts simplify the steps to compile your project for simulationβ15Updated this week
- β15Sep 13, 2024Updated 2 years ago
- β56Oct 24, 2022Updated 3 years ago
- SystemVerilog synthesis toolβ237Mar 10, 2025Updated last year
- Trying to verify Verilog/VHDL designs with formal methods and toolsβ44Mar 7, 2024Updated 2 years ago
- VHDL Code for infrastructural blocks (designed for FPGA)β15Oct 26, 2022Updated 3 years ago
- Build your hardware, easily!β4,156Updated this week
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scots Army Knife for electronicsβ2,225Updated this week
- An open-source VHDL library for FPGA design.β32Jun 2, 2022Updated 4 years ago
- A VHDL Core Library.β18Mar 29, 2017Updated 9 years ago
- PCIe (1.0a to 2.0) Virtual Root Complex model, in C, co-simulating with Verilog, SystemVerilog and VHDL, with Endpoint capabilitiesβ150Jun 16, 2026Updated 3 months ago
- Orbtrace & supporting hardware circuit diagrams etc.β30Oct 11, 2023Updated 3 years ago
- The Accrescent console backendβ26Oct 7, 2026Updated last week
- nextpnr portable FPGA place and route toolβ1,773Updated this week