搜索结果：ava（1013 个）

方块游戏的“谷歌地图”（Minecraft 寻路机器人）。

积木报表：涵盖报表、大屏、仪表盘与 Chat2BI 的一站式开源数据分析平台。

面向 JavaScript 和 TypeScript 的现代化安全运行时环境。

基于 Spring Boot + MyBatis 实现的电商系统，包含前台商城与后台管理，支持 Docker 部署。

汇集 1000 道精选 JavaScript 面试题的速查与复习清单。

为优秀的 Chrome 插件编写的中文说明书与推荐指南。

开源多语种等宽字体项目：更纱黑体（Sarasa Gothic）。

一个体积小巧、解析速度极快的纯 JavaScript 实现的 JS 解析器。

该项目是一款轻量级 Elasticsearch 与 Kibana 安全插件。它解决了无需额外部署反向代理或笨重外部容器即可安全暴露 ES 的问题。核心功能是在查询解析后进行高效的访问控制，提供身份认证、细粒度鉴权、加密、审计及 Kibana 多租户支持，阻止非法修改并防止数据被删。

Scribe 是一款专为 Scala 生态从零构建的超高性能日志库。它解决了传统日志依赖 Java 框架封装所带来的性能损耗及跨平台受限问题。核心亮点在于无需配置文件、支持纯代码化配置，利用宏在编译期深度优化性能，且原生支持 JVM、Scala.js 及 Scala Native 跨平台运行，同时兼容 SLF4J。

Baker 是一个微服务业务流程编排库。它基于 Petri 网概念，解决复杂微服务调用与流转难以管理和协同的问题。核心功能是提供 Java/Kotlin/Scala DSL 将流程声明为由交互、数据和事件组成的“配方”，支持可视化展示，并能跨团队复用交互组件。

Android 平台的高级终端模拟器，支持通过海量软件包进行扩展。

newbee-mall 电商系统，含基础版、前后端分离版、秒杀版、Go 版及 Spring Cloud 微服务版。

kaitai_struct_compiler 是 Kaitai Struct 的官方参考编译器。它解决了不同编程语言中解析二进制格式需重复编写解析代码的问题。核心功能是将用 `.ksy` 声明式语言描述的二进制数据结构，自动编译生成 C++、Java、Python、Go、Rust 等多种目标语言的解析器代码，并提供开箱即用的访问 API。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

社区贡献的指令、Agent、技能与配置合集，助你充分发挥 GitHub Copilot 的能力。

AI 编程路由工具，可将 Cursor、Copilot、Claude Code 等接入免费大模型，支持自动故障回退与 Token 优化。

可将任意品牌形象转化为可滚动交互的 3D 沉浸式世界落地页的技能工具。

基于 Riru/Zygisk 的 ART 挂钩框架，Xposed 的现代分支实现。

面向工程经理（Engineering Manager）的精选学习与工作资源列表。