peterhao89

@peterhao89

peterhao89 暂无简介

所有 个人的 我参与的
Forks 暂停/关闭的

    peterhao89/PRS-sc25

    PRS parallel sat solver

    peterhao89/PRS

    并行SAT求解框架

    peterhao89/C++密码demo

    peterhao89/ks-meson-template

    peterhao89/旧代码

    peterhao89/密码模型生成器

    用图结构描述密码算法并生成相应的组合优化模型文件

    peterhao89/tfhe-rs

    peterhao89/Nostalgia-cipher

    FSE 2025 paper https://tosc.iacr.org/index.php/ToSC/article/view/12609

    peterhao89/CryptobibExport

    https://cryptobib.di.ens.fr/

    peterhao89/tfhe

    peterhao89/java-smt

    peterhao89/nuxt3学习

    peterhao89/z3

    peterhao89/Transistor

    CRYPTO 2025 paper https://eprint.iacr.org/2025/282

    peterhao89/lenosp forked from 郑州程序员商城—商城系统/lenosp

    lenos(p为spring boot 2.0 版本扩展名)一款快速开发模块化脚手架,采用spring boot 2.0.1、spring、SpringMvc、mybatis、shiro、activiti工作流、swagger、ehcache、redis、quartz、freemarker、layui技术开发;博客采用vue前后分离,持久层集成tkmapper丰富简单数据交互,支持mysql/sqlserver数据源,实现功能有系统模块:菜单管理、用户管理、角色管理,系统监控:系统日志、接口api、sql监控、可配置化定时任务,工作流程管理:流程管理(动态给节点配置角色)、模块列表(新建编辑发布流程)、请假流程、待办任务。博客模块为单独的前端后台多页面,服务为lenosp,本项目会一直维护并集成新的技术,给您的开发节约时间成本。演示地址:

    peterhao89/SmartJavaAI forked from Adam/SmartJavaAI

    🔥🔥🔥Java免费离线AI算法工具箱,支持人脸识别,活体检测,表情识别、目标检测(支持视频流)、实例分割、行人检测、OCR文字识别、车牌识别、表格识别、语音识别、机器翻译等功能,Maven引用即可使用。支持PyTorch、Tensorflow,已集成 Mtcnn、InsightFace、SeetaFace6、YOLOv8~v12、PaddleOCR(PPOCRv5)、Whisper等主流模型

    peterhao89/painless

    peterhao89/frontendtest

    This is a repository for me to learn vue

    peterhao89/HiAE

    peterhao89/cold-restart1

搜索帮助