Stars
【代码随想录知识星球】项目分享-基于Raft的k-v存储数据库🔥
An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.
C++ implementation of Raft core logic as a replication library
C implementation of the Raft Consensus protocol, BSD licensed
开发者边车，github打不开，github加速，git clone加速，git release下载加速，stackoverflow加速
IBM Rational Rhapsody files for car cruise control system
Tools for converting IBM Rhapsody diagrams to the PlantUML format
Documentation, tutorials and examples of how to use IBM Rational Rhapsody for formally modeling embedded systems.
Lexical Analyzer in C++. Uses DFA's to parse C source code.
Codelyzer is a framework that provides interfaces to build and analyze source code in various languages and generates a platform-independent representation as a universal abstract syntax tree (UAST…
OpenStaticAnalyzer is a source code analyzer tool, which can perform deep static analysis of the source code of complex systems.
Automatically scan C/C++ source code for known vulnerabilities, and the use of dangerous functions.
Analyzes C# source code to enforce a set of style and consistency rules.
Library to analyze and collect metrics on source code
Parsing, analyzing, and comparing source code across many languages
Can lexically analyze source code files to extract types such as classes, functions, structs, aliases and typedefs from individual files and find file dependencies.
Fast and flexible CSV library written in pure ANSI C that can read and write CSV data.
New open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
Compile TeX math expressions into lambda expressions for c#
A small tool to convert math equations written in LaTeX to equivalent C-Code.
cppreference.com html archive converter to microsoft help (for Visual Studio 2012+) and chm help (for Windows)
Primary repository for RTF Parser Kit library