• 6
• 22
• 1

pandoc

• 3
• 1
• 0

cabal

• 5
• 5
• 2

ShellCheck

Shell

在Linux/Unix平台下编写Bash的时候，shellcheck是一款不错的工具

• 4
• 1
• 0

Unison

JavaScript

Unison 是一个新的编程平台，Unison 平台包括三个组成部分： The Unison language: 一个强大的，类型化的，纯粹的功能底层编程语言 The Unison

• 4
• 11
• 3

hasura-graphql-engine

Hasura GraphQL Engine 是一个超快的 GraphQL 服务器，可以让你基于 Postgres 数据库快速简历 GraphQL API 服务

• 4
• 2
• 0

Futhark

Shell

Futhark 是一个小型全新的函数式编程语言，可编译为高性能的 GPU 代码

• 3
• 0
• 0

scotty

scotty 是使用 Haskell 编写的 web 框架，灵感来自 Ruby 的Sinatra，使用 WAI 和 Warp （官方库）

• 3
• 2
• 2

penrose

Haskell

penrose 帮你实现只需在纯文本中键入数学符号即可创建漂亮的图表

• 3
• 0
• 0

cakeml

• 3
• 1
• 0

purescript

• 4
• 0
• 1

Keelung

Haskell

它是一个为快捷、隐私和安全应用发展而设计的领域特定语言（DSL）

• 3
• 1
• 0

wasp

JavaScript

Wasp (Web Application Specification) 用于 React、Node.js 和 Prisma 的类似 Rails 的框架

• 3
• 3
• 1

IHP

Haskell

IHP 是开箱即用 (batteries-included) 的 Web 框架，采用函数式编程语言 Haskell 编写，同时应用了函数式包管理器 Nix

• 3
• 1
• 0

HVM

C/C++

高阶虚拟机 (HVM) 是一个纯函数式编译目标，它是惰性的、非垃圾收集的和大规模并行的，同时也是 beta 最优的，这意味着在某些情况下，它可以比大多数功能运行时（包括 Haske

• 3
• 2
• 1

glean

C/C++

Glean 是一个用于收集、推导和查询有关源代码信息的系统

• 4
• 9
• 4

Pandoc1

Haskell

Pandoc 可将多种文档格式，包括：markdown, reStructuredText, textile, HTML, DocBook, or LaTeX 转成： HTML f

• 4
• 0
• 0

sv2v

Haskell

sv2v:从SystemVerilog到Verilog , sv2v将SystemVerilog (IEEE 1800-2017)转换为Verilog (IEEE 1364-200

• 3
• 0
• 1

snap-connectionpool

Java

为了简化数据库开发，缺省有效地管理数据库资源，Snap-ConnectionPool以最简单的方式，为应用供以一个有效的数据库资源管理工具

• 3
• 0
• 0

hackage-server

hackage-server 是新的 Hackage 服务器，又名 "Hackage 2"

• 7
• 26
• 7

HStreamDB

Haskell

HStreamDB 是一款专为流式数据设计的， 针对大规模实时数据流的接入、存储、处理、分发等环节进行全生命周期管理的流数据库