Thanks to visit codestin.com
Credit goes to Github.com

Skip to content
View Pratyush's full-sized avatar

Sponsoring

@davidlattimore

Highlights

  • Pro

Organizations

@mc2-project @arkworks-rs

Block or report Pratyush

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 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

Starred repositories

Showing results

Spectral simulation of analog photography processes

Python 142 17 Updated Apr 2, 2025

LaTeX live preview on kitty terminal using vimtex

Lua 7 1 Updated Sep 24, 2025

A graphical pdf and epub reader that works inside the kitty terminal

Python 591 37 Updated Oct 28, 2023

A tui-based PDF viewer

Rust 1,441 43 Updated Dec 7, 2025

A post-modern modal text editor.

Rust 42,098 3,225 Updated Dec 26, 2025

A curated list of awesome Helix editor resources, plugins, themes, and tools.

91 6 Updated Dec 5, 2025

A sliding, tiling window manager for MacOS.

Rust 307 15 Updated Dec 26, 2025

Query Optimizer Service

Rust 94 9 Updated May 27, 2025

Inkscape figure manager

Python 631 132 Updated Jan 28, 2022

Implementation for https://eprint.iacr.org/2025/1300

Rust 41 4 Updated Sep 2, 2025

R1CS to Plonk transpiler

Rust 10 2 Updated Jun 12, 2025

WHIR 🌪️: Reed–Solomon Proximity Testing with Super-Fast Verification

Rust 179 44 Updated Dec 3, 2025
Rust 56 21 Updated Dec 23, 2025
Rust 65 5 Updated May 13, 2025

A lightweight parallelism library for indexed structures in Rust

Rust 28 2 Updated Dec 19, 2025
Rust 16 Updated Dec 17, 2025

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Rust 204 42 Updated Dec 22, 2025
Rust 3 Updated Mar 20, 2025
Python 6 Updated Jul 4, 2025

Home of OpenVMM and OpenHCL

Rust 1,782 162 Updated Dec 20, 2025

Safe, portable, high performance compute (GPGPU) kernels.

Rust 247 15 Updated Dec 16, 2025

An implementation of the Language Server Protocol for LaTeX

Rust 1,877 65 Updated Dec 26, 2025

a lattice lib for building snarks

Rust 21 3 Updated May 20, 2024

The implementation of Pianist (a distributed variant of Plonk) based on gnark.

Go 38 11 Updated Sep 7, 2023
Rust 4 Updated Mar 28, 2024

Multi-party computation libraries written in Rust 🦀

Rust 283 73 Updated Dec 27, 2025
Next