开源大模型(LLM) 压缩/解压缩工具 PDF 文件处理工具 网站流量分析工具 开源低代码开发平台 做好 Bug 跟踪与管理 文本识别 OCR 解决方案 数据库管理工具 数据可视化大屏精选开源项目 减少重复劳动,从善用文本扩展器开始 不同编程语言的二维码解决方案 好用的开源 IM 应用 基于 GPT 的开发者实用工具 避免被算法拿捏,这些 RSS 工具值得一试 开源静态站点生成器 实用的 LaTeX 编辑器 提升效率,从挑选文件管理器开始 一些增强生产力的 AI 工具 开源全文搜索引擎 机密计算领域开源框架 10 个 Rust 终端工具,助力开发者提升生产力 开源 API 工具 原来有这么多开源的 Web 浏览器 eBPF 项目合集 桌面应用程序开发框架 这些游戏模拟器让你重温经典老游戏 开源文件传输工具 开源视频剪辑处理工具 适合 Discord 的 10 个开源机器人 开源 Icon(图标) 大集合 有趣的开源机器人技术 开源投资交易工具 那些从零开发的独立 Linux 发行版 开源思维导图软件,需要请自取 表达式引擎工具 I don't care about cookies 被收购后,还有这些开源替代品 到底都有哪些国产的开源操作系统? 远程桌面软件 实用开源下载工具 初学 Linux,都有这些易上手的发行版 从像素游戏到 3A 大作的游戏引擎/框架 加密工具清单 中国人主导编程语言列表 项目管理和笔记软件,除了 Notion 还有这些开源平替 从码农转型音乐家,你只差这些音乐处理工具 计算流体动力学(CFD)软件 必备利器,程序员不可错过的 Shell 工具 数字时代,人人都需要一个密码管理器 好物推荐:移动端开发安全工具 开发者必备 Firefox 插件 CAD 软件 摸鱼类开源项目 自然语言处理,看这个就够了 有趣且实用的 CSS 框架、组件 面向程序员的精品开源字体 工业软件 -- 嵌入式操作系统 安全组件计划
Awesome 软件 🔥
加载中

Keelung - 零知识证明编译器

它是一个为快捷、隐私和安全应用发展而设计的领域特定语言(DSL)。经过多年对后量子零知识密码的深入研究,我们为开发者创造了Keelung,帮助他们在没有专业密码学技能的背景下也能创建安全、可信的...

收藏 2
Keelung

Wasp - 全栈 Web 框架

Wasp (Web Application Specification) 是类似 Rails 的全栈 Web 框架,使用了 React, Node.js 和 Prisma,通过自带的 CLI 工...

收藏 0
Wasp

IHP - Haskell Web 框架

IHP 是开箱即用 (batteries-included) 的 Web 框架,采用函数式编程语言 Haskell 编写,同时应用了函数式包管理器 Nix。 主要特性 类型安全 IHP 采用的 ...

收藏 7
更新于 2022/10/27
IHP

Glean - 源码分析引擎

Glean 是一个用于收集、推导和查询有关源代码信息的系统。它旨在收集和存储有关代码结构的详细信息,并提供对数据的访问,以提供从在线 IDE 功能到离线代码分析的强大工具和体验。你可以将其用于:...

收藏 18
Glean

Streamly - 具有 C 语言性能的 Idiomatic Haskell

Streamly 是一个 Haskell 库,提供构建安全、可扩展、模块化和高性能软件的构建块。使用数据流编程和声明式并发从模块化构建块构建可靠和高性能的系统。 特性: Haskell的类型安全...

收藏 0

Hakyll - 静态网站生成

Hakyll 是一个 Haskell 的静态网站生成器库。静态网站快速、安全、易于部署,并可使用版本控制进行管理。 Hakyll 主要针对中小型网站和个人博客。它是以一种非常可配置的方式编写的,...

收藏 5

sv2v - 将 SystemVerilog 转换为 Verilog

sv2v:从SystemVerilog到Verilog , sv2v将SystemVerilog (IEEE 1800-2017)转换为Verilog (IEEE 1364-2005), 重点是...

收藏 1

HStreamDB - EMQ 流数据库

HStreamDB 是一款专为流式数据设计的, 针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理的流数据库。 它使用标准 SQL (及其流式拓展)作为主要接口语言,以实时性作...

收藏 83
更新于 2023/03/07
HStreamDB

Retrie - Haskell 代码重构工具

Facebook 开源的 Haskell 代码重构工具。该工具能够简化重构过程、提升重构速度及安全性。 特性 能力 可以重写表达式、类型和模式 匹配取决于 alpha 等效性 重写是等式的:在左...

收藏 3
更新于 2020/07/09

Hamler - 基于 Erlang 与 Haskell 的编程语言

Hamler 是一门构建在 Erlang 虚拟机(VM)上的 Haskell 风格的强类型(strongly-typed)编程语言,独特地结合了编译时的类型检查推导,与对运行时高并发和软实时能力...

收藏 59
更新于 2020/08/07
Hamler

Hasura GraphQL Engine - GraphQL 服务器

Hasura GraphQL Engine 是一个超快的 GraphQL 服务器,可以让你基于 Postgres 数据库快速简历 GraphQL API 服务。通过数据库事件实现 webhook...

收藏 20
Hasura GraphQL Engine

Semantic - 程序代码解析、分析和比较工具

semantic 是一个 Haskell 库和命令行工具,用来解析、分析和比较程序代码。 使用方法: Parse Usage: semantic parse ([--sexpression]...

收藏 12

penrose - 使用数字符号创建漂亮图表

penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表。 penrose 是一个尚处于发展阶段的早期系统。 我们的系统还没有为贡献或公共使用做好准备,但希望很快就能实现。 如果您对...

收藏 0

Carp - 无 GC 的小型编程语言

Carp 是一种小型编程语言,专为对游戏,声音合成和可视化等交互性和性能敏感的用例而设计。它是一个静态类型的 lisp,没有GC,用于实时应用程序。 警告!这是一个研究项目,这里的大量信息可能会...

收藏 0

Ivory Language - 用于系统编程的领域专用语言

Ivory 语言是一门可嵌入的领域专用语言,用于更安全的系统编程。你可以将 Ivory 看作是在 Haskell 中嵌入“受限”的 C 语言。 Ivory 具有以下特性 可嵌入:Ivory 以 ...

收藏 0
开源软件作者
OpenAPI Log Cat 作者
ANPR 作者
xiyun-buffet-ordering 作者

HLearn - 高性能机器学习库

HLearn 是采用 Haskell 语言编写的高性能机器学习库,它对任意维度空间有着最快最近邻的实现算法。 HLearn 同样也是一个研究型项目。该项目的研究目标是为机器学习发掘“最佳可能”的...

收藏 0

stack-ide - 基于 Stack 的 IDE 后端 JSON 接口

stack-ide 是基于 Stack 的 IDE 后端 JSON 接口。

收藏 0

Stackage - Haskell 工具栈

stack 是开发 Haskell 项目的跨平台项目,主要是为 Haskellers 带来新体验。 主要特性: 自动安装 GHC 安装项目所需的包 构建项目 测试项目 项目基准测试

收藏 3

nvim-hs-contrib - neovim 和 nvim-HS 相互作用库

nvim-hs-contrib 是与 nvim-hs neovim 互动有用的库函数。它包含了一个 neovim 和 nvim-HS 的相互作用并提供一般功能的模块。

收藏 1

QUIC - 快速 UDP 互联网连接协议

QUIC (Quick UDP Internet Connections)是由Google从2013年开始研究的基于UDP的可靠传输协议,它最早的原型是SPDY + QUIC-Crypto + ...

收藏 128
更新于 2023/05/31

没有更多内容

加载失败,请刷新页面

返回顶部
顶部