Godot in RealityKit / visionOS

Lean4 Logic Formalization

A RiscV processor implementing the RV32I instruction set written in Clash

Server to host lean games.

Custom component for ESPhome that can act as a AwoX BLE mesh hub (Telink mesh)

This repository features an Energy Optimization System (EOS) that optimizes energy distribution, usage for batteries, heat pumps& household devices. It includes predictive models for electricity pr…

Tracking RISC-V Actions on Education, Training, Courses, Monitorships, etc.

tool for turning Lean proofs into Blender animations

End-to-End Open-Source I2C GPIO Expander

The OpenEPaperLink core project

A Rust VCD parser intended to be the backend of a Waveform Viewer(built using egui) that supports dynamically loaded rust plugins.

A minimal GPU design in Verilog to learn how GPUs work from the ground up

Web-based tool for creating artistic PCBs

KiCad to Blender 3D model workflow

OpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/

Free Tektronix 4010, 4013, 4014 and 4015 terminal emulator for Raspberry Pi, Linux, macOS (Macintosh) and Windows

Blackwire overview, status, roadmap and top-level documentation.

Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases

Tiny Tapeout GDS Online Viewer

Translates GDSII into HTML/JS that can be viewed in WebGL-capable web browsers.

tinyODIN digital spiking neural network (SNN) processor - HDL source code and documentation.

Open-source, RISC-V-based Hardware Security Module

🖥️ A small, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

130nm BiCMOS Open Source PDK, dedicated for Analog, Mixed Signal and RF Design

Elements Software Development Kit

MQTT gateway for modbus networks

A reimplementation of a tiny stack CPU