#
Lists (3)
Starred repositories
A Chaos Engineering Platform for Kubernetes.
Open source Java implementation for Raft consensus protocol.
Easiest-ever formal methods ED98 language! Designed for developers crafting distributed systems, microservices, and cloud applications
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
jgrapht / jgrapht
Forked from lingeringsocket/jgraphtMaster repository for the JGraphT project
ActiveJ is an alternative Java platform built from the ground up. ActiveJ redefines core, web and high-load programming in Java, providing simplicity, maximum performance and scalability
Application for Mind Mapping, Knowledge Management, Project Management. Develop, organize and communicate your ideas and knowledge in the most effective way.
The iconic SVG, font, and CSS toolkit
《李宏毅深度学习教程》（李宏毅老师推荐👍，苹果书🍎），PDF下载地址：https://github.com/datawhalechina/leedl-tutorial/releases
Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.
Visual Studio Code extension to improve CJK (Chinese, Japanese, Korean) word handling.
LaTeX Proposal Template for the University of Chinese Academy of Sciences
C++ implementation of Raft core logic as a replication library
Zotero plugin to manage your attachments: automatically rename, move, and attach PDFs (or other files) to Zotero items, sync PDFs from your Zotero library to your (mobile) PDF reader (e.g. an iPad,…
A Demonstration of DLBD: Database Logic Bug Detection System
tcse-iscas / crashfuzz
Forked from yu-wch/crashfuzzAritifact for ICSE'23 paper "Coverage Guided Fault Injection for Cloud Systems"
软件工程常用文档模板及示例：可行性分析报告、开发计划、需求分析文档、概要设计文档、详细设计文档、用户操作手册、测试计划、测试分析报告、开发进度报告、项目开发总结报告、软件维护手册等