Haskell

Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Hasura GraphQL引擎是一个高性能的GraphQL服务器，可为您提供Postgres上开箱即用的实时GraphQL API，响应数据库事件的 Webhook触发器，以及用于业务逻辑处理的远端Schema。

REST API for any Postgres database

Run compilers interactively from your web browser and interact with the assembly

The fastest way to develop full-stack web apps with React & Node.js.

Dockerfile linter, validate inline bash, written in Haskell

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Cool open source projects. Choose your project and get involved in Open Source development now.

#安全#SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

#编程语言#PureScript 是一种强类型、纯函数式编程语言、最终编译为JavaScript

#算法刷题#Book of Elementary Functional Algorithms and Data structures

A friendly programming language from the future

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

#区块链#Cryptographic currency implementing Ouroboros PoS protocol

Koka language compiler and interpreter

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

The core of xmonad, a small but functional ICCCM-compliant tiling window manager