Factor programming language

https://factorcode.org

A REST-based system for building web applications.

https://github.com/webmachine/webmachine/wiki/

ArduPilot is the most advanced, full-featured, and reliable open source autopilot software available. 

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

Empowering everyone to build reliable and efficient software.

https://www.rust-lang.org/

https://github.com/leanprover-community/mathlib 的镜像仓库