zhu1971 Goto Github PK

hooks

A high-quality & reliable React Hooks library.

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

hydra-s1-zkps

Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

hyper

An HTTP library for Rust

imx-starknet

Immutable X on StarkNet

incubator-teaclave-sgx-sdk

Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

infer

A static analyzer for Java, C, C++, and Objective-C

infinitycasino

A fully decentralized gambling experience on the ethereum blockchain.

inside-rust-std-library

本书主要对RUST的标准库代码进行分析，并试图给出RUST标准库代码的分析脉络。This project try to give a venation of how reading the RUST standard library source code.

ipercore

Liquid Warping GAN with Attention: A Unified Framework for Human Image Synthesis

ipfs-desktop

An unobtrusive and user-friendly desktop application for IPFS on Windows, Mac and Linux.

jaadas

Joint Advanced Defect assEsment for android applications

jasmin

java-deserialization-cheat-sheet

The cheat sheet about Java Deserialization vulnerabilities

javaguide

「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！

javaparser

Java 1-17 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.

jayhorn

Static checker for Java

jepsen

A framework for distributed systems verification, with fault injection

jieba

结巴中文分词

jimple-interpreter

Soot based Jimple interpreter

jitsi-meet

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

jlbc

jsnark

A Java library for zk-SNARK circuits

json

Strongly typed JSON library for Rust

json-on-starknet

json-rust

JSON implementation in Rust

jsonwebtoken

JWT lib in rust

jvm

JVM in Rust, written as a learning project.

jwengine

A cross-platform C++<->lua server quick solution

kakarot

ZK-EVM type 3 written in Cairo, leveraging STARK proof system.