OpenAL Soft is a software implementation of the OpenAL 3D audio API.

PortAudio is a cross-platform, open-source C language library for real-time audio input and output.

A Rust library containing Galois-field types and utilities

Bear is a tool that generates a compilation database for clang tooling.

a game where you're given a potato and your job is to implement a firmware for it

Fast Symbolic Repair of Hardware Design Code

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

A syntax-highlighting pager for git, diff, grep, and blame output

Package manager and build abstraction tool for FPGA/ASIC development

Pono: A flexible and extensible SMT-based model checker

This is my attempt at making a formally verfied UART for chisel

A cross-platform GUI library for Rust, inspired by Elm

FPGA softcore CPU microarchitecture base

Universal utility for programming FPGA

FuseSoC standard core library

A libre lightweight streaming front-end for Android.

Chisel: A Modern Hardware Design Language

Configuration files for my NixOS machine, declared by home-manager

Reproducible system configurations ✨

A template project for beginning new Chisel work

The batteries-included testing and formal verification library for Chisel-based RTL designs.

〰📺🔊 Synthesiser audio plugin for making music by drawing objects on an oscilloscope using audio.

Modern, advanced, portable, multiprotocol bootloader and boot manager. (Official mirror of https://codeberg.org/Limine/Limine)

A massively parallel, optimal functional runtime in Rust

Orca's best friend.

A simple template for building a Limine-compliant kernel in Rust.