gontihc Goto Github PK
Name: 李云龙
Type: User
Company: 上海大学
Bio: 我是一名计算机专业的研究生，研究方向是神经网络的形式化验证。
Location: 上海
李云龙's Projects
a-eye
a spuer mini AI-camera project
alpha-beta-crown
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021 and 2022)
auto_lirpa
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
dlib_face_recognition_from_camera
Detect and recognize the faces from camera / 调用摄像头进行人脸识别，支持多张人脸同时识别
dome_test
githubtsetjpg
gmhelper
基于BC库：国密SM2/SM3/SM4算法简单封装；实现SM2 X509v3证书的签发；实现SM2 pfx证书的签发
gontihc.github.io
GontIhc website
hdmi-pi
我设计的一个HDMI转MIPI模块，可以用于驱动各种手机屏幕当显示器用。
java-books-collections
:books:Java编程书籍收集分享。Java programming books collection to share.:rocket:
l-ink_card
Smart NFC & ink-Display Card
pcb
[email protected]:JLC_SMT/JLCSMT_LIB.git
pure-design-java-
带大四小白一起做前后端分离的毕设管理系统，技术栈SpringBoot + Vue + ElementUI
robust-principles
Robust Principles: Architectural Design Principles for Adversarially Robust CNNs
robust-residual-network
复制到我的仓库用来学习的鲁棒神经网络
ruoyi-vue-pro
🔥 官方推荐 🔥 RuoYi-Vue 全新 Pro 版本，优化重构所有功能。基于 Spring Boot + MyBatis Plus + Vue & Element 实现的后台管理系统 + 微信小程序，支持 RBAC 动态权限、数据权限、SaaS 多租户、Flowable 工作流、三方登录、支付、短信、商城、CRM、ERP 等功能。你的 ⭐️ Star ⭐️，是作者生发的动力！
shiyanlou-code
x-bot
一个自己设计的超迷你写字机器人，软件、电路、结构完全开源。
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.