winderica's repositories
DailyReport
Submit your health status to your fucking department everyday
GoodbyeHUST
後悔してるぞ
PoST_NDSS20
Implementation of paper "Proof of Storage-Time: Efficiently Checking Continuous Data Availability"
Win11ClassicContextMenu
Get back the classic context menu in Windows 11
r1cs-float
R1CS constraints for floating-point arithmetic
XPrivacyLua
Really simple to use privacy manager for Android 6.0 Marshmallow and later
algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
FISCO-BCOS
A consortium blockchain platform (联盟区块链底层技术平台)
gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
material-ui
MUI Core (formerly Material-UI) is the React UI library you always wanted. Follow your own design system, or start with Material Design.
OpenTabletDriver
Open source, cross-platform, user-mode tablet driver
r1cs-std
R1CS constraints for bits, fields, and elliptic curves
reveal.js
The HTML Presentation Framework
RustaCUDA
Rusty wrapper for the CUDA Driver API
scripts
Lyric source & parser scripts
vite
Next generation frontend tooling. It's fast!