aurora564 Goto Github PK

algorithm-and-datastruct

数据结构与算法练习代码

awesome-mpc

A curated list of multi party computation resources and links.

circom

zkSnark circuit compiler

clash-ui

clash ui: haishanh/yacd and Dreamacro/clash-dashboard in single file

clash_for_windows_pkg

A Windows/macOS/Linux GUI based on Clash

core

backup of clash core

crypto-lib-list

Maintain a list of open source libraries of cryptographic excellence

d2l-zh

《动手学深度学习》：面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。

fplll

Lattice algorithms using floating-point arithmetic

gadgetbridge

We are on codeberg.org now! https://codeberg.org/Freeyourgadget/Gadgetbridge - Gadgetbridge - A free and cloudless replacement for your gadget vendors' closed source Android applications. Supports Pebble, Mi Band, Liveview, HPlus and more.

geatpy

Evolutionary algorithm toolbox and framework with high performance for Python

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

halo2

The Halo2 zero-knowledge proving system

hello-algo

《Hello 算法》：动画图解、一键运行的数据结构与算法教程，支持 Java, C++, Python, Go, JS, TS, C#, Swift, Rust, Dart, Zig 等语言。

learn-vim

无废话极简版Vim学习笔记！文章按主题分拆为多个章节，并尽量控制每节的信息量；通过文字色彩和字体，将命令、快捷键突出显示；在每节结尾，提供一个命令列表，以便回顾文中介绍的重要命令。如果这些文章能对喜欢Vim的朋友有所益处，我将不胜荣幸。

leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

lihang-code

《统计学习方法》的代码实现

mathmodeling

数据建模

myshell

日常shell脚本练习

neovim

Vim-fork focused on extensibility and usability

noir

Noir is a domain specific language for zero knowledge proofs

pikachu

一个好玩的Web安全-漏洞测试平台

pinocchio

pinocchio from Microsoft Research - this is rehosted on github only because Codeplex went down!

plonkish

project-based-learning

Curated list of project-based tutorials

rocket-chip

Rocket Chip Generator

scql

SCQL (Secure Collaborative Query Language) is a system that allows multiple distrusting parties to run joint analysis without revealing their private data.

screenshot-to-code

Drop in a screenshot and convert it to clean HTML/Tailwind/JS code

secretflow

A unified framework for privacy-preserving data analysis and machine learning

signal-android

A private messenger for Android.