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

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

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

stack tool

Haskell LSP

cabal-install tool

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.

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.

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.

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.

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

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.

Ledger is a powerful, double-entry accounting system that is accessed from the UNIX command-line. This may put off some users, since there is no flashy UI, but for those who want unparalleled reporting access to their data there are few alternatives.

Ledger uses text files for input. It reads the files and generates reports; there is no other database or stored state. To use Ledger, you create a file of your account names and transactions, run from the command line with some options to specify input and requested reports, and get output. The output is generally plain text, though you could generate a graph or html instead. Ledger is simple in concept, surprisingly rich in ability, and easy to use.

Steel Bank Common Lisp (SBCL) is a high performance Common Lisp compiler. In addition to the compiler and runtime system for ANSI Common Lisp, it provides an interactive environment including a debugger, a statistical profiler, a code coverage tool, and many other extensions.