LauZyHou

followers

following

stars

Shang Hai

Organizations

doocs

HMUniversity

LauZyHou's repositories

sbid-ava

🔮内生安全建模工具，基于.Net Core 3.0的Avalonia跨平台桌面应用。

Language:C#MIT12 20

CET6Cat_Front

😾CET6Cat英语六级辅导网(前端)，Vue.js+ElementUI+Echarts。

Language:VueMIT9 2 6

Algorithm-To-Practice

算法练习代码仓库。

Language:C++MIT6 10

AlgorithmTemplate

🌍算法模板。

Language:C++MIT5 20

gbit-afdx-toolkit

⚙️千兆AFDX套件-模型配置和生成工具。

Language:C#MIT3 20

Built-In-Security

内生安全华师大组。

Language:TeXUnlicense1 20

harver

👨🏻‍🔧硬件电路验证工具，基于nuXmv的符号模型检测应用。

Language:Python1 20

Rodin-Demos

📁Formal modelling and analysis demos in using Event-B method on Rodin platform.

MIT1 20

SharpMS

🌩️Modeling, analysis and verification tool for microservice architecture.

Language:C#GPL-3.01 20

VisualAnalytics_Front

🎄豆瓣电影可视分析(前端)，Vue.js+ElementUI+ECharts。

Language:Vue1 20

golang-im-system

A simple golang instant message system.

Language:GoMIT020

afdx-network

Network Calculus for end-to-end delay bounds of an AFDX network.

Language:Python010

CGCat-StaticWebPage

CGCat static web page.

Language:Shell010

GitRequirement

Git需求建模（Event-B in Rodin）。

MIT020

GitRequirements

Git需求建模（Event-B in Rodin）。

MIT020

GitTesting

学习Git的使用，在这个上面可以随意瞎嗨。

MIT010

green-onion-calc

🥗Green onion calculator.

Language:C#GPL-3.0020

leveldb

Port of LevelDB to Java

Language:JavaApache-2.0000

leveldb-change

leveldb change.

Language:JavaNOASSERTION000

Papers2Chinese

计算机相关论文翻译。

MIT020

pic

图床。

020

pipelines-dotnet-core

A simple ASP.NET Core MVC app for Azure Pipelines docs

Language:HTMLCC-BY-4.0010

rcg

Reliability Calculation Graph.

Language:JavaMIT020

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:CBSD-3-Clause010

ReDO-server

Tools for generating developing order during the design phase.

Language:JavaMIT010

ReDO-website

Tools for generating developing order during the design phase.

Language:Vue010

sbid_js

SBID is a modeling and verification tool for "Security: Buit In DNA".

Language:JavaScriptMIT020

TestJenkins

Just a temporary test for Jenkins.

Language:JavaMIT020

WebGME-Tutorial

WebGME入门，Domain Specific Modeling Language开发。

Language:JavaScriptMIT020

YXC-Algorithm-Course

AcWing大雪菜b站录像课算法题跟进学习代码仓库。

Language:C++MIT020