看海量化回测系统V2.1版本开源代码。看海量化回测系统（看海量化交易系统）开源代码，khQuant框架，实现A股可视化回测，全部开源。
OAuth2.1 & OIDC1.0 & Spring Security
OPSLI 快速开发平台基于springboot、vue、element-ui ，项目采用前后端分离架构，热插拔式业务模块与插件扩展性高 ,代码简洁，功能丰富，开箱即用
蘑菇博客(MoguBlog)，一个基于微服务架构的前后端分离博客系统。Web端使用Vue + Element , 移动端使用uniapp和ColorUI。后端使用Spring cloud + Spring boot + mybatis-plus进行开发，使用 Jwt + Spring Security做登录验证和权限校验，使用ElasticSearch和Solr作为全文检索服务，使用Github Actions完成博客的持续集成，使用ELK收集博客日志，文件支持上传七牛云和Minio，支持Docker Compose脚本一键部署。
基于B/S架构、可替代付费商业软件的一站式量化交易平台。具备历史回放、策略研发、模拟交易、实盘交易等功能。兼顾全自动与半自动的使用场景。 已对接国内期货股票、外盘美股港股。
开源ThingLinks物联网一体化平台，高性能、高吞吐量、高扩展性的物联网平台！单机可以支持百万链接，同时支持自定义扩展功能，功能非常强大，采用netty作为通信层组件，支持插件化开发集成！
基于neatlogic-autoexec的持续集成模块，支持基于代码完成编译打包、多环境配置差异处理、数据库发布、制品管理、发布编排、灰度发布和回退、容器和云部署等各种功能。支持Windows、Unix、Linux、AS400等操作系统，支持Oracle、Mysql、SqlServer、DB2、Sybase、Informix等多种主流数据库。
Jarboot 是一个强大的Java进程管理、诊断的平台，可以在线管理、监控及诊断本地和远程的Java进程。
🔥🔥🔥五星上将麦克阿瑟都觉得好用的一款对于软件从业者好用的管理工具，包括服务器管理，ssh，sftp，docker，监控，告警，脚本管理等
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
本项目致力于实现基于AADL模型到ADA和C代码的生成，以及coq语言的语义一致性证明代码。
