常用开源软件

微信/微信小程序 移动开发 UI组件/框架 Chrome扩展 建站系统
WeiXinMPSDK Xamarin.Forms Wired Elements GayHub Tale
ZanUI-WeApp React Native govcl oscnews Hugo
wepy FlexLib Win10-UI Sourcegraph OSRoom
mpvue Ionic Vuido OctoLinker MM-Wiki
集群/负载均衡 云计算 微服务框架 机器学习/深度学习 代码生成工具
DPVS Serverless Helidon PaddlePaddle SmartCode
GLB Director Consul Micronaut TensorFlow MyBatis Dynamic SQL
Katran Humpback Istio Gluon Auto Maker
Camel Kubernetes Envoy PyTorch Beetl
加载中

Glean - 源码分析引擎

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

收藏 12
Glean

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

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

收藏 0

Hakyll - 静态网站生成

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

收藏 3

sv2v - 将 SystemVerilog 转换为 Verilog

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

收藏 1

HStreamDB - EMQ 流数据库

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

收藏 70
更新于 2021/11/25
HStreamDB

Retrie - Haskell 代码重构工具

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

收藏 3
更新于 2020/07/09

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

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

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

Hasura GraphQL Engine - GraphQL 服务器

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

收藏 21
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

HLearn - 高性能机器学习库

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

收藏 0

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

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

收藏 0

Stackage - Haskell 工具栈

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

收藏 3
开源软件作者
Agileutil 作者
Laraback 作者
hbybyyang-gitee-vscode-plugin 作者

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 + ...

收藏 129
更新于 2021/12/01

Elm - 函数式反应编程语言

Elm是一种函数式语言,可编译为HTML、CSS和JavaScript。 Elm为函数式反应编程而设计,便于创建高可交互应用。

收藏 42
更新于 2016/11/15

Pandoc - 文档格式转换工具

Pandoc 可将多种文档格式,包括:markdown, reStructuredText, textile, HTML, DocBook, or LaTeX 转成: HTML formats:...

收藏 92
更新于 2020/02/18

Darcs - 分布式版本控制系统

Darcs 是新一代轻量级分布式版本控制系统. 完全使用Haskell编写而成。 不同于以往的版本控制系统, Darcs没有中央服务器. 任何一个本地repository都可以既是客户端也是服务...

收藏 1
Darcs

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部