Intuity

nexus

Open source RTL simulation acceleration on commodity hardware

forastero

Making cocotb testbenches that bit easier

Gator

Gator is a framework for running a hierarchy of jobs and aggregating logs, metrics, resource utilisation, and artefacts.

packtype

Packed data structure specifications for multi-language hardware projects.

Tktr

A powerful ticketing platform for May Balls, June Events and Arts Festivals (or any other type of event really...) for the University of Cambridge.

prologue

Extensible block-based preprocessor written in Python

intuity.github.io

Website

TktrApp

An iOS app for checking guests into an event ticketed by the Tktr platform.

blade

Hardware Design, Exploration, and Code Generation for SoC Designers

blade-examples

Example Designs Using BLADE, DesignFormat and the BLADE Templating Engine

blade-templating

Templating Engine for Generating Hardware from BLADE Output Blobs Based on Mako

blade-viewer

A Web Based GUI for Browsing DesignFormat Blob Files Generated by BLADE

patchpanel

Python library for solving constrained connectivity between sources and sinks

bootstrap

Sleek, intuitive, and powerful front-end framework for faster and easier web development.

bristol-silicon-family-tree

Cambridge

Source code relating to various systems at the University of Cambridge

designformat

A Cross-Language Interchange Format for Hardware Description Based on JSON

gevent-socketio

Official repository for gevent-socketio

Kria-PYNQ

PYNQ support and examples for Kria SOMs

node-nest-api

Main Nest API for node (also see: nest-api-thermostat and nest-api-protect)

RadiationCalculator

A heating/cooling calculator for single rooms

riscv-python-model

Python Model of the RISC-V ISA

search

Simple search

tinytapeout-mpw7

TktrGen

Generates print-ready PDF tickets from HTML artwork layouts using NodeJS and SpinDrift

TktrGenDocker

A Docker image description for running TktrGen

VoxelFirmware

Firmware for Voxel V5 sensor devices

vpi_py_demo

Demonstration of using a VPI trampoline to call Python from Verilog.

wokwi-verilog-gds

wokwi-verilog-gds-test