Dino is a chat client for the desktop. It focuses on providing a minimal yet reliable Jabber/XMPP experience and having encryption enabled by default.

This library implements OMEMO of XMPP (XEP-0384) in C. It's a fork of libsignal-protocol-c adding support for XEP-0384 0.5.0+

Knot Resolver is a caching full resolver implementation written in C and LuaJIT, both a resolver library and a daemon.

This package provides tools for manipulating ext2/ext3/ext4 file systems.

Envoy is an open source edge and service proxy, designed for cloud-native applications

File browser

Font Awesome is a full suite of pictographic icons for easy scalable vector graphics.

Monospace typeface designed for symbol-rich programming

cabal-install tool

The Glasgow Haskell Compiler (GHC) is a state-of-the-art compiler and interactive environment for the functional language Haskell.

Haskell LSP

stack tool

An implementation of an extended subset of Haskell. It uses combinators for the runtime execution.

Ghostty is a terminal emulator that differentiates itself by being fast, feature-rich, and native. While there are many excellent terminal emulators available, they all force you to choose between speed, features, or native UIs. Ghostty provides all three.

Git is a free distributed version control system designed to handle everything from small to very large projects with speed and efficiency.

CGit is an attempt to create a fast web interface for the Git SCM, using a built-in cache to decrease server I/O pressure.

Libgit2 is a portable, pure C implementation of the Git core methods provided as a re-entrant linkable library with a solid API, allowing you to write native speed custom Git applications in any language with bindings.

Gitolite is an access control layer on top of Git, providing fine access control to Git repositories.

git-crypt enables transparent encryption and decryption of files in a git repository. Files which you choose to protect are encrypted when committed, and decrypted when checked out. git-crypt lets you freely share a repository containing a mix of public and private content. git-crypt gracefully degrades, so developers without the secret key can still clone and commit to a repository with encrypted files. This lets you store your secret material (such as keys or passwords) in the same repository as your code, without requiring you to lock down your entire repository.

CGit is an attempt to create a fast web interface for the Git SCM, using a built-in cache to decrease server I/O pressure.

Libgit2 is a portable, pure C implementation of the Git core methods provided as a re-entrant linkable library with a solid API, allowing you to write native speed custom Git applications in any language with bindings.

Guile TOML implementation

H2O is a new generation HTTP server that provides quicker response to users with less CPU, memory bandwidth utilization when compared to older generation of web servers. Designed from ground-up, the server implements of HTTP/2 and HTTP/3 taking the advantages of features including new and old content prioritization schemes, server push, 103 Early Hints, promising outstanding experience to the visitors of the web site.

This library providing a malloc(3) implementation that emphasizes fragmentation avoidance and scalable concurrency support.