搜索结果：pg（48 个）
按分类缩小范围
futhark
综合 60
Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。
decidim
综合 60
Decidim 是一个基于 Ruby on Rails 开发的开源参与式民主框架，最初用于巴塞罗那市政府。它主要解决城市与各类组织在公众参与、开放治理中的线上协作难题；核心提供应用生成器和多个可复用的 Gem 组件，便于快速搭建支持公民建言、提案与线上线下互动的民主参与平台。
scalajs-react
综合 60
scalajs-react 将 React 封装进 Scala.js，解决了用 Scala 开发前端时类型安全和语法契合度不足的问题。它支持 Hooks、Context 等 React 特性，可无缝集成 Cats 等纯函数式生态，并内置了专属的路由、测试与性能优化工具。
anonaddy
综合 57
用于保护隐私的匿名邮件转发服务。
rector
综合 57
支持 PHP 5.3+ 代码即时版本升级与自动化重构的工具。
pgsync
综合 56
用于在不同 Postgres 数据库之间快速同步数据的工具。
ripgrep
综合 56
高速递归目录搜索工具，支持正则表达式并自动遵循 .gitignore 规则。
PasswordPusher
综合 56
安全共享敏感信息的工具，支持限制查看次数或时长后自动销毁，并附带完整审计日志追踪访问记录。
logisim-evolution
综合 56
数字逻辑设计与电路仿真工具。
firesim
综合 55
〔中文简介暂未生成〕 FireSim: Fast and Effortless FPGA-accelerated Hardware Simulation with On-Prem and Cloud Flexibility
clash-compiler
综合 55
clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。
bonfire
综合 54
基于 Flame 的 RPG 制作工具，助你更轻松地打造 RPG 或类似风格的游戏。
scalacss
综合 54
〔中文简介暂未生成〕 Super type-safe CSS for Scala and Scala.JS.
pgvector
综合 50
为 PostgreSQL 提供向量相似度搜索能力的开源扩展。
beads
综合 49
为你的编程 agent 提供记忆增强。
SpinalHDL
综合 49
〔中文简介暂未生成〕 Scala based HDL
john
综合 49
高级离线密码破解工具，支持数百种 Hash 与加密类型，适用于多种操作系统、CPU、GPU 及部分 FPGA。
Smartspacer
综合 48
高可定制的 Android 微件，无需 Root 即可升级 Pixel 自带的“概览”（At a Glance）功能。
habitica
综合 47
一款将日常目标转化为 RPG 角色扮演游戏的习惯养成与追踪应用。
cleanrl
综合 46
面向科研的高质量单文件深度强化学习算法实现（含 PPO、DQN、SAC 等）