Nix Packages collection & NixOS

For consuming the ripgrep binary from microsoft/ripgrep-prebuilt in a Node project

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

A language binding generator for WebAssembly interface types

Safe and portable GPU abstraction in Rust, implementing WebGPU API.

Facilitating high-level interactions between Wasm modules and JavaScript

Rust Embedded async executor and HALs

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

An incremental parsing system for programming tools

Verilog to Routing -- Open Source CAD Flow for FPGA Research

Small footprint and configurable PCIe core

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

Tool for converting specialized annotated Verilog models into XML needed for Verilog to Routing flow.

Typst extension for zed

Nix flake for openXC7

Verilog/SystemVerilog Extension for Zed

Homebrew tap for `ruffle` Flash emulator

Build your hardware, easily!

Utilities for working with a Wishbone bus in an embedded device