Pinned Repositories
admc
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to cloud management, in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com.
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.
freebsd-ports
arrowd's FreeBSD ports tree
arrowd's Repositories
arrowd/budgie-desktop-view
Budgie Desktop View is the official Budgie desktop icons application / implementation.
arrowd/cabal
Official upstream development repository for Cabal and cabal-install
arrowd/cardano-node
The core component that is used to participate in a Cardano decentralised blockchain.
arrowd/cryptominisat
An advanced SAT Solver
arrowd/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.
arrowd/dotnet-ports
arrowd/freebsd-quarterly
FreeBSD quarterly reports
arrowd/ghcprofview-hs
GHC .prof files viewer
arrowd/haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
arrowd/hatt
Truth-table generator for classical propositional logic
arrowd/klee
KLEE Symbolic Execution Engine
arrowd/klee.github.io
Website for the KLEE project: https://klee.github.io/
arrowd/sbv-program
arrowd/lazy-cache
Caches IO action by relying on GHC RTS implementation
arrowd/libportal
libportal - Flatpak portal library
arrowd/metaSMT
arrowd/miktex
the MiKTeX source code
arrowd/nemu
ncurses interface for QEMU
arrowd/ogre
scene-oriented, flexible 3D engine written in C++
arrowd/online
Collabora Online is a collaborative online office suite based on LibreOffice technology. This is also the source for the Collabora Office apps for iOS and Android.
arrowd/persistent
Persistence interface for Haskell allowing multiple storage methods.
arrowd/poco
The POCO C++ Libraries are powerful cross-platform C++ libraries for building network- and internet-based applications that run on desktop, server, mobile, IoT, and embedded systems.
arrowd/profiteur
Visualiser for Haskell (GHC) prof files
arrowd/purescript
A strongly-typed language that compiles to JavaScript
arrowd/qemu-bsd-user
arrowd/rahuliyer95-chocolatey-packages
Chocolatey packages - https://chocolatey.org/
arrowd/spago
🍝 PureScript package manager and build tool powered by Dhall and package-sets
arrowd/stack
The Haskell Tool Stack
arrowd/xmobar
A minimalistic status bar
arrowd/z3
The Z3 Theorem Prover