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

Skip to content
View VladPryad's full-sized avatar

Organizations

@ProgressChain

Block or report VladPryad

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

An FHE compiler for C++

C++ 3,624 266 Updated Sep 16, 2025

Model Context Protocol Servers

TypeScript 76,390 9,258 Updated Jan 16, 2026

Extensive React Boilerplate: ✔️NextJS ✔️Auth ✔️I18N ✔️MUI ✔️Forms

TypeScript 497 134 Updated Jan 16, 2026

NestJS boilerplate. Auth, TypeORM, Mongoose, Postgres, MongoDB, Mailing, I18N, Docker.

TypeScript 4,205 912 Updated Jan 16, 2026

⛄ Possibly the smallest compiler ever

JavaScript 28,468 2,885 Updated Feb 19, 2024

Emoji-enhanced Git commits using AI suggestions

Shell 177 14 Updated Nov 1, 2025

🕵️ allows you to see internal calls, events and storage operations in the console

TypeScript 365 37 Updated Sep 26, 2025

✨🔬 A flexible diffraction simulator for exploring and visualizing physical optics.

Python 976 135 Updated Oct 7, 2025

A massively parallel, high-level programming language

Rust 19,135 469 Updated Jun 3, 2025

A collection of common interactive command line user interfaces.

TypeScript 21,372 1,344 Updated Jan 12, 2026

Zero-Knowledge Proof Systems Circuit Compiler

C++ 326 56 Updated Jan 23, 2025

The largest Node.js CLI Apps best practices list ✨

3,919 158 Updated Jul 15, 2025

LLM training in simple, raw C/CUDA

Cuda 28,625 3,356 Updated Jun 26, 2025

zk-SNARK WASM circuit compiler

WebAssembly 16 Updated Jun 2, 2025

structured outputs for llms

Python 12,152 918 Updated Jan 16, 2026

Ethereum Typed Data Hashing and Signing (EIP712) implementation for ethers.js

TypeScript 40 4 Updated Aug 10, 2020

Warp - Bringing Solidity to Starknet at warp speed. Warp is a Solidity to Cairo Compiler, this allows teams to write/migrate Solidity to Cairo for easy onboarding into the StarkNet ecosystem.

TypeScript 748 70 Updated Aug 26, 2023

A utility for generating Solidity code for recovering signatures using the EIP-712 signTypedData schema.

JavaScript 96 11 Updated Oct 5, 2023
Python 7,845 527 Updated Apr 14, 2024

A transaction processor for a hypothetical, general-purpose, central bank digital currency

C++ 923 206 Updated Mar 20, 2025

ORM

TypeScript 32,338 1,150 Updated Jan 16, 2026

example contracts

JavaScript 1,021 546 Updated Jul 18, 2024

Classification of smart contract vulnerabilities

84 15 Updated Jan 23, 2019

Animation engine for explanatory math videos

Python 83,728 7,069 Updated Oct 20, 2025

formally verified category theory library

Idris 268 24 Updated Jun 23, 2020

Programming language agnostic type construction language based on polynomials.

Idris 370 18 Updated May 29, 2024

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

5,735 905 Updated Sep 25, 2024

A community-maintained Python framework for creating mathematical animations.

Python 36,225 2,595 Updated Jan 17, 2026

Multi-Sig Wallet v2, supporting original Wallet.sol methods with additional confirmAndExecute improvements to allow for single-transaction signing by multiple owners.

Solidity 274 101 Updated Jan 31, 2025
Next