ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

The Haskell Tool Stack

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

The core component that is used to participate in a Cardano decentralised blockchain.

Ethereum smart contract fuzzer

A shell script which checks your $HOME for unwanted files and directories.

Official upstream development repository for Cabal and cabal-install

Research language for array processing in the Haskell/ML family

This repository hosts the lectures of the Plutus Pioneers Program. This program is a training course that the IOG Education Team provides to recruit and train software developers in Plutus, the nat…

Interactively browse dependency graphs of Nix derivations.

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

The symbolic execution engine powering the K Framework

Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023

Cardano API

Benchmarks comparing concurrency overhead of streamly and async