Skip to content
View jleahy's full-sized avatar

Block or report jleahy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Terraform-style, declarative Postgres schema migration. Agent friendly.

Go 999 57 Updated Aug 15, 2026

An exabyte-scale, multi-region distributed file system

C++ 1,332 96 Updated Aug 14, 2026

3-stage RV32IMACZb* processor with debug

Verilog 1,089 91 Updated Aug 13, 2026

Looking into the performance of heaps, starting with the Min-Max Heap

C++ 71 10 Updated Jan 15, 2021

A very fast hashtable

C++ 1,857 205 Updated Sep 27, 2023

Yocto/GL: Tiny C++ Libraries for Data-Driven Physically-based Graphics

C++ 2,921 214 Updated Feb 21, 2024

mimalloc is a compact general purpose allocator with excellent performance.

C 13,293 1,156 Updated Aug 14, 2026

A hardware compiler based on LLHD and CIRCT

Rust 271 35 Updated Jun 30, 2025

Test suite designed to check compliance with the SystemVerilog standard.

SystemVerilog 387 101 Updated Aug 14, 2026

Low Level Hardware Description — A foundation for building hardware design tools.

Rust 436 31 Updated Apr 20, 2022

SystemVerilog parser library fully compliant with IEEE 1800-2017

Rust 481 69 Updated Jun 10, 2026

Build Customized FPGA Implementations for Vivado

Java 383 132 Updated Aug 14, 2026

Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.

Python 3,654 482 Updated Jul 21, 2026

An audio processing program with an interactive mode.

C 260 29 Updated Jul 30, 2026

PCIe (1.0a to 2.0) Virtual Root Complex model, in C, co-simulating with Verilog, SystemVerilog and VHDL, with Endpoint capabilities

C 148 35 Updated Jun 16, 2026

A directory of Western Digital’s RISC-V SweRV Cores

SystemVerilog 882 134 Updated Mar 26, 2020

draws an SVG schematic from a JSON netlist

JavaScript 813 107 Updated Jan 25, 2024

Yosys Open SYnthesis Suite

C++ 4,671 1,139 Updated Aug 14, 2026

An open-source, cross-platform transmission line simulation tool.

C++ 63 11 Updated Aug 23, 2024

Astrometry.net -- automatic recognition of astronomical images

C 849 220 Updated Apr 14, 2026

Seamless operability between C++11 and Python

C++ 17,996 2,314 Updated Aug 15, 2026

Automatic differentiation library for rust

Rust 27 2 Updated Dec 27, 2014

A lightweight LLVM python binding for writing JIT compilers

Python 2,281 366 Updated Aug 14, 2026

A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means

Java 2,165 232 Updated Feb 17, 2025

The MyHDL development repository

Python 1,125 252 Updated Apr 10, 2025

Fork of http://web.archive.org/web/20101031205747/http://www.tothink.com/mnemonic/

C 167 21 Updated Feb 14, 2023

A catalogue of efficient and accurate polynomial approximations

17 2 Updated Feb 5, 2022

Quantcast File System

C++ 648 168 Updated Aug 1, 2026

Official git repository for libdivide: optimized integer division

C++ 1,345 98 Updated Jun 19, 2026