FPGA verilog and firmware for TKey, the flexible and open USB security key 🔑
☆442Jul 21, 2026Updated 3 weeks ago
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:
- SSH Agent for TKey, the flexible open hardware/software USB security key 🔑☆143May 21, 2026Updated 2 months ago
- The code for an FPGA softcore comparison☆11Jun 21, 2020Updated 6 years ago
- Secure, robust, and efficient delta updates for executables☆18Updated 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☆48Feb 12, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- VHDLproc is a VHDL preprocessor☆24May 12, 2022Updated 4 years ago
- Project Peppercorn - GateMate FPGA Bitstream Documentation☆45Jun 16, 2026Updated last month
- Virtual development board for HDL design☆42Mar 31, 2023Updated 3 years ago
- Verilog implementation of the 32-bit version of the Blake2 hash function☆22Dec 17, 2025Updated 7 months ago
- Solo 1 firmware in C☆2,383Nov 13, 2022Updated 3 years ago
- A list of mainboards with their status of BootGuard. See https://felixsinger.github.io/bootguard-status☆31Feb 3, 2026Updated 6 months ago
- Library of reusable VHDL components☆28Mar 7, 2024Updated 2 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 last month
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆17Dec 24, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- MAUS Arduino USB Mouse Jiggler – Mini Programmable ATtiny85 – Open Source☆39Jan 16, 2026Updated 6 months ago
- 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
- OpenTitan: Open source silicon root of trust☆3,592Updated this week
- Modern Cryptographic Firmware☆500Jul 22, 2026Updated 3 weeks ago
- ECP5 FPGA DEV BOARD☆10Apr 19, 2021Updated 5 years 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 =>…☆100May 8, 2026Updated 3 months ago
- Blackwire SpinalHDL components implementing WireGuard primitives☆16Aug 16, 2023Updated 2 years ago
- Simple 6502 system on a ULX3S FPGA board☆19Feb 26, 2020Updated 6 years ago
- 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.
- Betrusted embedded controller (UP5K)☆49Dec 22, 2023Updated 2 years ago
- OSVVM project simulation scripts. Scripts are tedious. These scripts simplify the steps to compile your project for simulation☆15Aug 8, 2026Updated last week
- SystemVerilog synthesis tool☆234Mar 10, 2025Updated last year
- Trying to verify Verilog/VHDL designs with formal methods and tools☆43Mar 7, 2024Updated 2 years ago
- This is an example of how TerosHDL can generate your documentation project from the command line. So you can integrate it in your CI work…☆10Jan 13, 2022Updated 4 years ago
- VHDL Code for infrastructural blocks (designed for FPGA)☆15Oct 26, 2022Updated 3 years ago
- Build your hardware, easily!☆4,042Aug 6, 2026Updated last week
- Scots Army Knife for electronics☆2,191Updated this week
- An open-source VHDL library for FPGA design.☆32Jun 2, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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☆148Jun 16, 2026Updated last month
- Orbtrace & supporting hardware circuit diagrams etc.☆28Oct 11, 2023Updated 2 years ago
- The Accrescent console backend☆24Updated this week
- nextpnr portable FPGA place and route tool☆1,727Updated this week
- Raspberry Pico powered Xilinx Virtual Cable - Xilinx JTAG Cable! This is now quite fast, thanks to tom01h! We also support JTAG + serial …☆495Jun 27, 2026Updated last month
- USB-Cereal is a powerful, fully open source development tool that simplifies testing, development, debugging, and manufacturing of device…☆144Feb 15, 2023Updated 3 years ago