minglie's repositories
ming-feign
声明式rest
ming_mysql_client
用easyUi实现的简易mysql Client
basic_verilog
Must-have verilog systemverilog modules
lanproxy
lanproxy是一个将局域网个人电脑、服务器代理到公网的内网穿透工具,支持tcp流量转发,可支持任何tcp上层协议(访问内网网站、本地支付接口调试、ssh访问、远程桌面、http代理、https代理、socks5代理...)。技术交流QQ群 736294209
LaTeXLive
LateX公式编辑器-妈叔出品
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
mdrive
一个基于阿里云盘官方 API 授权的自动同步和备份工具,支持云盘挂载到本地,支持本地存储,支持加密,多平台、安全、自动化的数据管理方案。
ming-free-webSqlite
免费的webSql
ming_mockServer_front_end
ming_mockServer的前端页面
ming_mysql_mq
基于mysql的消息队列,用于日志记录与消息分发
ming_node
轻便完善的Web服务,随用随扔的Web服务
ming_ob_math
ming_ob_math
minglie_mcu_single_line_51_proteus
minglie_mcu_single_line的c51 demo
mybatis-generator
山寨mybatis generate
node_serial
node_serial
rubik_cube
3D rubik_cube in LEAN
rubikcubegroup
rubikcubegroup魔方定理证明+视频分享。discuss here:https://lean4daydayup.zulipchat.com/join/l5pajaapwvkikcp
SerialAssistant
A serial port assistant that can be used directly in the browser.
spring-boot-demo
🚀一个用来深入学习并实战 Spring Boot 的项目。
websocket_for_linux
c语言实现的websocket的http请求/回复、数据的打包/解包、掩码/解码处理,提供服务端和客户端开发示例
youtube_channel
Notebooks for the python tutorials of my youtube channel. See specific youtube video for link to specifc notebook.