(Caution: this repository is a mirror only, please visit the website for any contributions) GstPipelineStudio aims to provide a graphical user interface to the GStreamer framework

nextpnr portable FPGA place and route tool

Yosys Open SYnthesis Suite

The Sipwise media proxy for Kamailio

VS Code extension that allows you to record and play back guided tours of codebases, directly within the editor.

Quantum Measurement Infrastructure

Goose converts a subset of Go to Rocq

CLI wrapper for basic network utilites on Mac OS X inspired with iproute2 on Linux systems - ip command.

WebAssembly AoT compiler for your favorite Operating System

The easiest & fastest way to run customized and fine-tuned LLMs locally or on the edge

A fast usermode x86 and x86-64 emulator for Arm64 Linux

Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices

tiniest x86-64-linux emulator

An interactive debugger for WebAssembly

OBS Studio - Free and open source software for live streaming and screen recording

The official repository of the mini-Internet exercise.

A 2-4h workshop on the Tamarin protocol verifier.

A Benchmark Suite of Real-World Qiskit Bugs

[SIGCOMM 2023] Lightning: A Reconfigurable Photonic-Electronic SmartNIC for Fast and Energy-Efficient Inference

A reference client implementation for the playback of MPEG DASH via Javascript and compliant browsers.

Smoothing video traffic to make it a friendlier internet neighbor

Enabling active networking on programmable switches.

Automatic verification of LLVM optimizations

Dot I/O is a free, open source, web based training tool designed to forever change the way we learn to type.

A discrete time scheduler designed for Quantum Network