arrowd Goto Github PK

appstream

Tools and libraries to work with AppStream metadata

appstream-generator

A fast AppStream metadata generator

auto-admin

Portable tools for automating systems management

budgie-desktop-view

Budgie Desktop View is the official Budgie desktop icons application / implementation.

cabal

Official upstream development repository for Cabal and cabal-install

cardano-node

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

consolekit2

ConsoleKit2 is a framework for defining and tracking users, login sessions, and seats.

cryptominisat

An advanced SAT Solver

digest

This package provides efficient hash implementations for strict and lazy bytestrings. For now, CRC32 and Adler32 are supported; they are implemented as FFI bindings to efficient code from zlib.

dotnet-ports

dotnet-runtime

.NET is a cross-platform runtime for cloud, mobile, desktop, and IoT apps.

foreign-cdm

What?

freebsd-doc

FreeBSD doc tree (read-only mirror)

freebsd-ports

arrowd's FreeBSD ports tree

freebsd-quarterly

FreeBSD quarterly reports

ghcprofview-hs

GHC .prof files viewer

haskell-language-server

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

hatt

Truth-table generator for classical propositional logic

howdy

🛡️ Windows Hello™ style facial authentication for Linux

klee

KLEE Symbolic Execution Engine

klee.github.io

Website for the KLEE project: https://klee.github.io/

lazy-cache

Caches IO action by relying on GHC RTS implementation

ldc

The LLVM-based D Compiler.

libinotify-kqueue

inotify shim for BSD

libportal

libportal - Flatpak portal library

libudev-devd

libudev-compatible interface for devd

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

metasmt

miktex

the MiKTeX source code

nemu

ncurses interface for QEMU