Machine learning on FPGAs using HLS

NNgen: A Fully-Customizable Hardware Synthesis Compiler for Deep Neural Network

Control the platform power state of your Apple Silicon Mac.

Linux virtual machines, with a focus on running containers

An Operating System as a Container Runtime.

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 7 million installs.

Brian is a free, open source simulator for spiking neural networks.

Webdav bridge for Google Drive

All Python versions, kept up-to-date on hourly basis using Nix.

Code for the paper "Jukebox: A Generative Model for Music"

Official implementation of VQ-Diffusion

Reinforcement learning environments for compiler and program optimization tasks

Run your GitHub Actions locally 🚀

Package circt using nix + flakes

A curated list of emulator development resources

FPGA-based Nintendo Entertainment System Emulator

🎮 An NES emulator written in ES2015+ with flowtype

Visualize Ownership and Lifetimes in Rust

NES emulator written in Go.

Digital timing diagram editor

RISC-V Formal Verification Framework

Save or export your private and public Slack messages, threads, files, and users locally without admin privileges.

C23 compiler with C2y/GNU extensions for x86-64 Linux/BSD, written in C99

Benchmarking Suite for BDD packages

VyOS image build scripts

Generic bijective maps in Rust