一个现代化的渐进框架Web应用程序框架。

一个现代化的渐进框架Web应用程序框架。

用DocHub开源文库程序，构建你自己的百度文库

Agda，一种依赖类型编程语言/交互式定理证明器。

《GitBook Clarity》一本专业轻松学GitBook的透明教程书，没有之一

Phalcon是一套实现MVC架构的高性能PHP应用程序框架。

FISCO BCOS平台基于现有的BCOS开源项目进行开发，聚焦于金融行业的分布式商业需求，从业务适当性、性能、安全、政策、技术可行性、运维与治理、成本等多个维度进行综合考虑，打造金融版本的区块链解决方案。 为了让大家更好的了解FISCO BCOS区块链开源平台的使用方法。本文档按照Step By Step的步骤详细介绍了FISCO BCOS区块链的构建、安...

本教程包含两大章节，从入门到精通URLOS应用的制作。

最近几年，Web攻击手段开始变得复杂，攻击面也越来越广。传统的安全防护手段，WAF、IDS 等等，大多是基于规则，已经不能满足企业对安全的基本需求。Gartner 在2014年提出了 "应用自我保护" 技术的概念，即 "对应用服务的保护，不应该依赖于外部系统；应用应该具备自我保护的能力"。为此，百度推出了开源的自适应安全产品 -- OpenRASP，希望通过...

一个基于 Antd 中后台前端解决方案，提供更多通用性业务模块，让开发者更加专注于业务。NG-ALAIN 是一个企业级中后台前端/设计解决方案脚手架，我们秉承 Ant Design 的设计价值观，目标也非常简单，希望在Angular上面开发企业后台更简单、更快速。随着『设计者』的不断反馈，将持续迭代，逐步沉淀和总结出更多设计模式和相应的代码实现，阐述中后台产...