搜索结果：efi（6 个）
按分类缩小范围
ArchiveBox
综合 69
开源自托管网页归档工具。支持抓取 URL、书签及历史记录，完整保存 HTML、JS、PDF 与多媒体内容。
refine
综合 66
灵活度极高的 React 框架，用于构建内部工具、管理后台、仪表盘和 B2B 应用。
refinerycms
综合 57
高可扩展的 Ruby on Rails CMS，支持 Rails 6.1-8.1+ 及 Ruby 3.x-4.x。
Pake
综合 56
一键将任意网页打包为轻量级桌面应用的工具，支持 macOS、Windows 和 Linux。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
shlink
综合 46
功能完备的自托管短链接生成与管理服务。