FTDI EEPROM dumps for common JTAG FPGA programmers

SpaceWire Light

A Formal Verification Methodology to lower the adoption barriers for Formal Verification of ASIC and FPGA designs in the Space sector (this is a mirror of https://gitlab.com/fvmformal/fvm )

Linux alternative to FT Prog utility.

The Machine which can run WASM applications.

The documents of Animula project

Repository for design and specification of the Component Model

Full-throttle, wire-speed hardware implementation of Wireguard VPN, using low-cost Artix7 FPGA with opensource toolchain. If you seek security and privacy, nothing is private in our codebase. Our d…

simplefoc all-in-one 50W hybrid stepper + bldc driver

The first-ever opensource RTL core for PCIE EndPoint. Without vendor-locked HMs for Data Link, Transaction, Application layers; With standard PIPE interface for vendor SerDes. Portable, unencrypted…

Affordable 2 GHz 3.2 GS/s 12 bit open-source open-hardware expandable USB oscilloscope

A Python script that converts Xilinx Design Constraint (XDC) files to VHDL entity declarations with optional signal generation and port assignments.

Betrusted main SoC design

An open source system on chip based on the GateMate FPGA from Cologne Chip (Supports: CCGM1A1 & CCGM1A2)

A single-header ANSI C immediate mode cross-platform GUI library

An FPGA-based Field Oriented Control (FOC) for driving BLDC/PMSM motor. 基于FPGA的FOC控制器，用于驱动BLDC/PMSM电机。

A sub-micrometer 3D motion control plattform.

Testing on ADALM-PLUTO Active Learning Module (PlutoSDR)

Lisp in 99 lines of C and how to write one yourself. Includes 21 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

A simple, generic, header-only state machine implementation for C++.

Lightweight LiDAR-Inertial SLAM system for ROS 2. A minimal, dependency-free implementation for research and education.

State-of-the-art TTS model under 25MB 😻

Baseband Receiver IP for GPS like DSSS signals

Lightweight Ruby