lauzyhou Goto Github PK

afdx-network

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

algorithm-to-practice

算法练习代码仓库。

algorithmtemplate

🌍算法模板。

avalonia-demos

📁Avalonia编程实例，基于.Net Core 3.0。

bert

TensorFlow code and pre-trained models for BERT

bibliographygenerator

参考文献自动生成器，基于Electron的桌面应用。

bookcat

😿BookCat书籍社区，S2SH+BootStrap4+MySQL，J2EE课程项目。

built-in-security

内生安全华师大组。

cet6cat_back

😾CET6Cat英语六级辅导网(服务端)，Django REST framework。

cet6cat_front

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

cgcat-staticwebpage

CGCat static web page.

chatcat_client

🐱ChatCat聊天(客户端)，Swing+Socket(TCP)+MySQL，JavaSE课程项目。

chatcat_server

🐱ChatCat聊天(服务端)，Swing+Socket(TCP)+MySQL，JavaSE课程项目。

curriculavariablecat_back

超简洁选课系统(服务端)，Django REST framework。

dcgan-tensorflow

A tensorflow implementation of "Deep Convolutional Generative Adversarial Networks"

dietcat

😸DietCat饮食推荐网站，Django2+FlatUI+MongoDB，2018夏季课程项目。

documents2chinese

计算机相关软硬件文档翻译。

dragonparser

The parser for learning in the dragon book.

ecnyou

❤️EcnYou微信小程序，华东师范大学校园辅助服务。

ed2kcrawler

a ed2k link crawler written in Go / golang

esc

gbit-afdx-toolkit

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

gef-tutorial

Graphical Editing Framework入门，Eclipse插件开发。

gitrequirement

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

gitrequirements

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

gittesting

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

golang-im-system

A simple golang instant message system.

green-onion-calc

🥗Green onion calculator.

harver

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

kerberoscsp

Kerberos formal verification in using CSP.