8000 pgrinaway (Patrick Grinaway) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View pgrinaway's full-sized avatar

Highlights

  • Pro

Organizations

@choderalab

Block or report pgrinaway

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Rust 154 23 Updated Jun 24, 2025

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

Rust 2,015 228 Updated Jun 22, 2025

prima.cpp: Speeding up 70B-scale LLM inference on low-resource everyday home clusters

C++ 949 64 Updated Jun 26, 2025

IRI2020 ionosphere climate model from Python

Fortran 15 7 Updated Jun 6, 2025

The Global Ionosphere/Thermosphere Model

Fortran 51 29 Updated Apr 19, 2025

💻 C++ Functional Terminal User Interface. ❤️

C++ 8,392 483 Updated Jun 20, 2025

ESPHome is a system to control your ESP8266/ESP32 by simple yet powerful configuration files and control them remotely through Home Automation systems.

C++ 9,492 4,280 Updated Jun 26, 2025

Zirgen compiler and RISC Zero circuits

C++ 96 23 Updated Jun 23, 2025

A fast, cross-platform build tool for C and C++

C++ 141 8 Updated May 16, 2025

C++ Memory safety (memsafe) single-header libraries and Clang compiler plugin for safe C++, which reduces errors for reference data types and safe memory management without breaking backward compat…

C++ 263 10 Updated May 25, 2025

A compiler for homomorphic encryption

C++ 475 77 Updated Jun 26, 2025

A compiler for fully homomorphic encryption and zero knowledge proofs

Rust 289 32 Updated May 7, 2025

Truly independent web browser

C++ 43,969 1,880 Updated Jun 26, 2025

Spartan: High-speed zkSNARKs without trusted setup

Rust 782 140 Updated May 23, 2025

peer-2-peer that just works

Rust 5,051 248 Updated Jun 25, 2025

High-Level Rust wrapper for the blitzar-sys crate

Rust 27 5 Updated Jun 15, 2025

Zero-knowledge proof acceleration with GPUs for C++ and Rust

C++ 5,019 152 Updated Jun 18, 2025

The quantities and units library for C++

C++ 1,211 104 Updated Jun 23, 2025

C++ implementation of the Python Numpy library

C++ 3,829 579 Updated May 30, 2025

Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.

C++ 26,346 1,128 Updated Jun 25, 2025

Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations wit…

C++ 8,371 2,304 Updated Jun 25, 2025

Universal wireless communication library for embedded devices

C++ 1,949 467 Updated Jun 23, 2025

C++ Requests: Curl for People, a spiritual port of Python Requests.

C++ 6,940 995 Updated Jun 16, 2025

The official firmware for Meshtastic, an open-source, off-grid mesh communication system.

C++ 4,970 1,295 Updated Jun 26, 2025

A general implementation of Monte Carlo Localization (MCL) algorithms written in C++17, and a ROS package that can be used in ROS 1 and ROS 2.

C++ 242 22 Updated Jun 24, 2025

The missing CMake project initializer

CMake 2,324 89 Updated Feb 18, 2025

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

64,498 8,010 Updated Jun 16, 2025

automatic differentiation made easier for C++

C++ 1,798 183 Updated Jan 27, 2025

Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.

Rust 4,484 191 Updated May 26, 2025

The Finite Field Assembly Programming Language

C 37 1 Updated May 19, 2025
Next
0