搜索结果：c（830 个）

适用于 Chrome、Firefox 和 Thunderbird 的扩展，支持用 Markdown 编写并在发送前渲染邮件。

面向 Claude Code 与 AI Agent 的营销技能集，涵盖 CRO、文案、SEO、数据分析和增长工程。

Brick 是一个用 Haskell 编写的终端用户界面（TUI）开发库。它解决了传统 TUI 编写控件和布局繁琐的问题，提供声明式 API。开发者只需用纯函数和布局组合器描述界面绘制，并通过状态转换函数处理事件。基于 Vty 构建，支持 Unix 和 Windows 系统。

Cryptol 是一种专为密码学算法设计的形式化规范语言及解释器，用 Haskell 编写。它解决了密码学规范难以验证与执行的问题，具备完全可执行性；支持通过随机向量测试算法，并能调用 Z3 等 SMT 求解器进行形式化证明，确保算法的正确性。

Twirl 是 Play 框架默认的模板引擎，也可在 Scala 或 Java 项目中脱离 Play 独立使用。它主要用于高效构建 Web 页面和文本输出，核心功能是将 HTML、JS、XML 或 TXT 等模板文件自动编译生成标准的 Scala 源代码，并提供 sbt 与 Maven 插件支持无缝集成构建。

数据库迁移工具，提供 CLI 命令行工具与 Golang 代码库支持。

支持 OpenWrt、Debian、Ubuntu、Docker 的一体化透明代理工具。

精选 React Native 组件、新闻、开发工具与学习资料合集。

适用于 Ubuntu、Debian、CentOS 等 Linux 系统的 OpenVPN 一键安装脚本。

基于苹果 Find My 查找网络的蓝牙设备追踪框架，自制专属 AirTag。

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

Flutter 桌面端窗口管理插件，全面支持控制窗口大小、位置、外观、关闭行为及事件监听。

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

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

开源 Flutter 习惯追踪应用，支持智能评分、WebDAV 同步与本地优先存储，覆盖主流桌面和移动平台。

〔中文简介暂未生成〕 A Scala DSL for talking with databases with minimum verbosity and maximum type safety

免费下载《经济学人》（含音频）、《纽约客》等英文原版杂志，支持 EPUB、MOBI、PDF，每周更新。

支持桌面端（Windows/macOS/Linux）和 Android 的 Yubico 身份验证器应用。

Project:M36 是一个纯 Haskell 开发的关系代数引擎，旨在解决传统 DBMS 偏离数学原理、不够严谨的问题。它严格遵循纯正的关系代数，支持 TutorialD 与 SQL 交互，可用作进程内或远程数据库后端，适合学习关系代数与规范化数据存储。

〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.