搜索结果：c（817 个）
按分类缩小范围
recheck
综合 54
recheck 是一款值得信赖的 ReDoS（正则表达式拒绝服务攻击）检测工具。它主要用 Scala 开发，旨在解决不安全正则导致的性能崩溃或安全漏洞问题。其核心功能是分析和检测正则表达式中的 ReDoS 风险，并提供相关 ESLint 插件以保障代码安全。
turso
综合 54
基于 Rust 的 SQL 数据库，兼容 SQLite，实验性支持 Postgres，号称数据库界的 LLVM。
bandwhich
综合 54
终端网络带宽利用率监控工具。
react-native-config
综合 54
将十二要素（12-Factor）配置理念引入移动端应用的配置管理库。
Vyxal
综合 54
〔中文简介暂未生成〕 A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
douyin
综合 53
基于 Vue3 + Pinia 的仿抖音项目，呈现 Vue 在移动端的工程最佳实践。
widgetbook
综合 53
专为 Flutter 团队打造的自定义小组件库与界面评审平台。
nylo
综合 53
快速开发 Flutter 移动应用的微框架，提供约定优于配置的开发规范与套件。
liquid_glass_widgets
综合 53
仿苹果风格的 Flutter UI 套件，支持着色器模糊、果冻动画与动态光效。
quine
综合 53
Quine 是一款专为实时流数据设计的流式图解释器。它能接入 Kafka、Kinesis 等事件流，将其动态构建为有状态的图结构；核心特色是“持续查询”（Standing Queries），可在图数据中实时监测复杂模式并在命中时触发操作，将计算结果实时流式输出。
laravel （PHP Web 应用框架）
综合 53
语法优雅简洁的 Web 应用框架，帮助开发者省去底层琐事、专注业务构建。
flutter_rust_bridge
综合 53
Flutter/Dart 与 Rust 的绑定代码生成器，功能丰富且无缝易用。
AAChartKit-Swift
综合 53
适用于 iOS、iPadOS 和 macOS 的声明式图表框架，支持折线、柱状、饼图等多种样式。
solid_queue
综合 53
基于数据库的 Rails Active Job 后端组件。
spark-excel
综合 53
spark-excel 是一个专为 Apache Spark 打造的插件，主要解决 Spark 原生不支持直接读写 Excel 文件的痛点。它能将 Excel 表格解析为 Spark DataFrame，支持指定单元格区域、表头及数据类型推断；其 V2 版本还支持多文件加载与损坏记录处理。
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
appsmith
综合 53
用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。
llama-cpp-python
综合 53
llama.cpp 的 Python 绑定库
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。