Universal markup converter

ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

Ethereum smart contract fuzzer

Agda is a dependently typed programming language / interactive theorem prover.

Dapp, Seth, Hevm, and more

Icepeak is a fast JSON document store with push notification support.

Nirum: IDL compiler and RPC/distributed object framework for microservices

Haskell command line text stream processor

Haskell here docs & interpolated strings via quasiquotation

Continuous performance analysis reports for software projects 🤖

A JSON schema language

Haskell Interface for getting overall system statistics

a simple function as a service server write on haskell

A hole to pass through the gateway. haskell version