This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

GFW.Press新一代军用级高强度加密抗干扰网络数据高速传输软件

Shamir Secret Sharing in Java

Solves a given set of modular constraints in which the moduli are all mutually prime.

It's a simulator of pbft

BFT-SMaRt's project home page

Simulation of several BFT consensus algorithms for benchmarking

IOTA Reference Implementation

springboot2.0开发的个人网站，集成了：个人首页，个人博客，个人作品

Bitcoin Improvement Proposals

Linux/BTRFS based Network Attached Storage(NAS)

articles, codes and tools all about zero-knowledge proofs

本文新增添分类，检测，换脸技术等学习教程，各种调参技巧和tricks，卷积结构详细解析可视化，注意力机制代码等详解！本次垃圾分类挑战杯，目的在于构建基于深度学习技术的图像分类模型，实现垃圾图片类别的精准识别，大赛参考深圳垃圾分类标准，按可回收物、厨余垃圾、有害垃圾和其他垃圾四项分类。本项目包含完整的分类网络、数据增强、SVM等各种分类增强策略，后续还会继续更新新的分类技巧。

BCH library C Python module

The world's simplest facial recognition api for Python and the command line

自动登录东南大学每日打卡报平安

使用Tensorflow实现声纹识别

General Multi-Precision arithmetic for Python 2.6+/3+ (GMP, MPIR, MPFR, MPC)

A defunct and ancient set of python bindings for Pairing Based Cryptography

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…

基于mtcnn/facenet/tensorflow 实现人脸识别登录系统

Java interface to OpenCV, FFmpeg, and more

目标检测&目标追踪&人脸检测&人脸识别

JAVA实现的IP代理池，支持HTTP与HTTPS两种方式

docker-limit-memory

Formal Security Verification of Smart Card Authentication Protocol