LauZyHou

Shang Hai

Pinned Repositories

Algorithm-To-Practice
算法练习代码仓库。
Language:C++6 1 01
AlgorithmTemplate
🌍算法模板。
Language:C++5 2 00
BookCat
😿BookCat书籍社区，S2SH+BootStrap4+MySQL，J2EE课程项目。
Language:CSS0 1 00
CET6Cat_Back
😾CET6Cat英语六级辅导网(服务端)，Django REST framework。
Language:Python8 1 22
CET6Cat_Front
😾CET6Cat英语六级辅导网(前端)，Vue.js+ElementUI+Echarts。
Language:Vue9 2 62
DietCat
😸DietCat饮食推荐网站，Django2+FlatUI+MongoDB，2018夏季课程项目。
Language:JavaScript6 2 03
EcnYou
❤️EcnYou微信小程序，华东师范大学校园辅助服务。
Language:JavaScript2 2 10
golang-im-system
A simple golang instant message system.
Language:Go0 2 01
sbid-ava
🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。
Language:C#12 2 04
SharpMS
🌩️Modeling, analysis and verification tool for microservice architecture.
Language:C#1 2 00

LauZyHou's Repositories

LauZyHou/sbid-ava
🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。
Language:C#12 2 04
LauZyHou/CET6Cat_Front
😾CET6Cat英语六级辅导网(前端)，Vue.js+ElementUI+Echarts。
Language:Vue9 2 62
LauZyHou/Algorithm-To-Practice
算法练习代码仓库。
Language:C++6 1 01
LauZyHou/AlgorithmTemplate
🌍算法模板。
Language:C++5 2 00
LauZyHou/gbit-afdx-toolkit
⚙️千兆AFDX套件-模型配置和生成工具。
Language:C#3 2 01
LauZyHou/Built-In-Security
内生安全华师大组。
Language:TeX1 2 00
LauZyHou/harver
👨🏻‍🔧硬件电路验证工具，基于nuXmv的符号模型检测应用。
Language:Python1 2 0
LauZyHou/Rodin-Demos
📁Formal modelling and analysis demos in using Event-B method on Rodin platform.
1 2 0
LauZyHou/SharpMS
🌩️Modeling, analysis and verification tool for microservice architecture.
Language:C#1 2 00
LauZyHou/VisualAnalytics_Front
🎄豆瓣电影可视分析(前端)，Vue.js+ElementUI+ECharts。
Language:Vue1 2 01
LauZyHou/golang-im-system
A simple golang instant message system.
Language:Go0 2 01
LauZyHou/afdx-network
Network Calculus for end-to-end delay bounds of an AFDX network.
Language:Python1 0
LauZyHou/CGCat-StaticWebPage
CGCat static web page.
Language:Shell1 0
LauZyHou/GitRequirement
Git需求建模（Event-B in Rodin）。
2 0
LauZyHou/GitRequirements
Git需求建模（Event-B in Rodin）。
2 0
LauZyHou/GitTesting
学习Git的使用，在这个上面可以随意瞎嗨。
1 0
LauZyHou/green-onion-calc
🥗Green onion calculator.
Language:C#2 0
LauZyHou/leveldb
Port of LevelDB to Java
Language:Java0 0
LauZyHou/leveldb-change
leveldb change.
Language:Java0 0
LauZyHou/Papers2Chinese
计算机相关论文翻译。
2 0
LauZyHou/pic
图床。
2 0
LauZyHou/pipelines-dotnet-core
A simple ASP.NET Core MVC app for Azure Pipelines docs
Language:HTML1 0
LauZyHou/rcg
Reliability Calculation Graph.
Language:Java2 0
LauZyHou/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
Language:C1 0
LauZyHou/ReDO-server
Tools for generating developing order during the design phase.
Language:Java1 01
LauZyHou/ReDO-website
Tools for generating developing order during the design phase.
Language:Vue1 0
LauZyHou/sbid_js
SBID is a modeling and verification tool for "Security: Buit In DNA".
Language:JavaScript2 0
LauZyHou/TestJenkins
Just a temporary test for Jenkins.
Language:Java2 0
LauZyHou/WebGME-Tutorial
WebGME入门，Domain Specific Modeling Language开发。
Language:JavaScript2 0
LauZyHou/YXC-Algorithm-Course
AcWing大雪菜b站录像课算法题跟进学习代码仓库。
Language:C++2 0