Docker image for running Vivado in a 64-bit Debian Jessie container
☆13Mar 17, 2018Updated 8 years ago
Alternatives and similar repositories for vivado-docker
Users that are interested in vivado-docker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dockerfile with Vivado for CI☆63Jun 26, 2017Updated 8 years ago
- BEBA Software Switch implementation☆14Jul 28, 2017Updated 8 years ago
- ☆11Nov 28, 2019Updated 6 years ago
- Yosys Plugins☆22Jul 16, 2019Updated 6 years ago
- Easy build environment to develop plugins for Remmina☆11Jun 2, 2025Updated last year
- 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.
- A smartcard manager (PKCS11)☆12Jan 22, 2021Updated 5 years ago
- ☆16Dec 16, 2021Updated 4 years ago
- Example SystemVerilog UVM Environment☆10Jun 23, 2015Updated 10 years ago
- SSH server docker container☆20Apr 19, 2024Updated 2 years ago
- Using docker to build Windows python executables☆11Jul 1, 2019Updated 6 years ago
- Some unofficial tools for building FreeBSD images to run in Google Compute Engine☆14Feb 15, 2016Updated 10 years ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- A simple kernel module to drive I2C-based OLED device SSD1306 and a light-weight library to render digits and symbols.☆10Apr 19, 2023Updated 3 years ago
- Simple AMP Running Linux and Bare-Metal System on Both Zynq SoC Processors☆23Dec 17, 2015Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SpringCard library and applications samples for PC/SC over BLE and USB with Android☆15Apr 2, 2026Updated 2 months ago
- A utility to recursively search for files by name in a filesystem, also looking inside archives to an arbitary depth.☆13Dec 8, 2023Updated 2 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Connect to a Global Protect VPN that requires SAML authentication using nmcli (NetworkManager). This application allows to create and con…☆15May 10, 2025Updated last year
- Context Hub Runtime Environment (CHRE)☆11Mar 13, 2026Updated 3 months ago
- TPM engine module for OpenSSL (this is not upstream)☆19Jun 14, 2012Updated 14 years ago
- Dockerfile with Vivado for CI☆12Apr 27, 2025Updated last year
- A simple jtag programming tool that has been verified on a variety of Xilinx Series7 platforms.☆37May 25, 2022Updated 4 years ago
- OCaml bindings for clang☆24May 1, 2018Updated 8 years 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.
- NCCL Examples from Official NVIDIA NCCL Developer Guide.☆20May 29, 2018Updated 8 years ago
- Dream/Sapphire android manifest for Gingerbread☆26Dec 4, 2011Updated 14 years ago
- Investigation in PDF encryption☆20Aug 22, 2023Updated 2 years ago
- 🗿 オモコロラジオの JSON / 非公式 Podcast フィード☆15Updated this week
- ☆32Sep 7, 2018Updated 7 years ago
- Smith-Waterman Acceleration on Intel’s FPGA with OpenCL for Long DNA Sequences☆18Jan 25, 2019Updated 7 years ago
- Remmina protocol plugin to open a RDP connection with rdesktop☆22Dec 21, 2019Updated 6 years ago
- Emacs lisp helper mode for ReVIEW☆28Mar 11, 2026Updated 3 months ago
- Remmina protocol plugin to open a TeamViewer connection☆24Dec 21, 2019Updated 6 years 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.
- Packaging of the nix package manager for Debian☆17Nov 1, 2019Updated 6 years ago
- a simple C-to-Verilog compiler☆51Apr 16, 2017Updated 9 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆27May 29, 2026Updated 2 weeks ago
- ☆15Apr 20, 2026Updated last month
- Latex sources for http://peeterjoot.com/writing/geometric-algebra-for-electrical-engineers/☆20Oct 26, 2025Updated 7 months ago
- A version of LwIP enhanced to support Nest OpenWeave running on the ESP32☆15Apr 30, 2020Updated 6 years ago
- ☆18Feb 20, 2024Updated 2 years ago