An industrial-grade C++ implementation of RAFT consensus algorithm based on brpc, widely used inside Baidu to build highly-available distributed systems.

航天/卫星建模与仿真算法库AstroLib。🚀卫星仿真必备底层专业算法。《航天系统建模与仿真》(中国宇航出版社，京东https://item.jd.com/15126754.html或当当均可购买)配套源码。 包含矢量/矩阵、时间/坐标系统、姿态/轨道、空间环境、插值/积分算法等仿真需要的基本程序。 包含飞行器六自由度仿真、空间交会、并行仿真等完整仿真实例。