搜索结果：jav（964 个）

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

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

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

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

让基于 Spring Boot 的 Java 项目能更轻松开发 GraphQL 的框架。

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 优化。

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

无广告且轻量快捷的网络媒体与视频内容保存下载工具。

基于 Spring Boot 与 Vue 开发的前后端分离人力资源管理系统。

支持 Android、iOS 和桌面端 Signal 私密即时通讯应用的服务端。

针对 JavaScript 引擎的安全模糊测试工具（Fuzzer）。

recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。

中国程序员容易发音错误的单词汇总。

Scapegoat 是一个 Scala 静态代码分析插件（Linter），类似 Java 的 FindBugs。它能检测代码中易引发 Bug 的潜在隐患、非惯用写法及不规范风格。作为 Scala 编译器插件运行，支持集成到 SBT、Maven 和 Gradle 等构建工具中。

开源 AI 音视频生成平台，支持自托管与 600+ 模型，无审查过滤，基于 MIT 协议。

将任意网站转化为 CLI 工具，支持 AI Agent 直接复用已登录的浏览器。