Skip to content
View Chenhao-Jia's full-sized avatar
0 followers · 1 following

Block or report Chenhao-Jia

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

Stars

Showing results

giftcipher / gift

The GIFT Block Cipher

C++ 12 3 Updated Jun 14, 2020

Crypto-TII / claasp

A Cryptographic Library for the Automated Analysis of Symmetric Primitives

Python 50 10 Updated Dec 28, 2024

SriramGDev / grobner-basis

Implementations of Faugère's F4 and F5 algorithms.

Python 3 Updated Jun 7, 2022

stp / stp

Simple Theorem Prover, an efficient SMT solver for bitvectors

C++ 530 130 Updated Sep 27, 2024