ShellCheck, a static analysis tool for shell scripts

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

A friendly programming language from the future

Linux VR Desktop

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

The official formatter for Nix code

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Liquid Types For Haskell

Bluespec Compiler (BSC)

A notification daemon/center for linux

Command line client for Nix binary cache hosting:

Shell programming, Haskell style

Crucible is a library for symbolic simulation of imperative programs

⚙️ SimpleXMQ - A reference implementation of the SimpleX Messaging Protocol for simplex queues over public networks.

Wakatime server implementation & analytics dashboard

A prompt engineering functional programming language

Explain why two Nix derivations differ

A high level web scraping library for Haskell.

A categorical programming language with effects

An experimental proof assistant based on a type theory for synthetic ∞-categories.

OAuth credential Manager

A drop-in replacement for nix-serve that is faster and more reliable

Haskell implementation of open games

Haskell IRC library and console client - Join us on libera.chat #glirc

Horn Clause Constraint Solving for Liquid Types

Implementation of Univalence in Cubical Sets

Grammatical Framework core: compiler, shell & runtimes

glot.io website

An experiment in controlling the size of a thread pool using a PID controller.

https://hercules-ci.com build and deployment agent