dsheets

ocaml-sodium

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

codoc

OCaml documentation generator

ocaml-process

Easy process control in OCaml

ocaml-osx-cf

CoreFoundation bindings in OCaml

lgtv-sdp

Fake startup service for LG TV

ocaml-unix-errno

Unix errno types, maps, and support for OCaml

ocaml-osx-fsevents

FSEvents bindings in OCaml

ocaml-github-hooks

A GitHub web hook listener in OCaml

ocaml-unix-fcntl

Host-dependent UNIX fcntl.h access

ocaml-unix-sys-resource

Host-dependent UNIX sys/resource.h access

transbind

AdGuardHome

Network-wide ads & trackers blocking DNS server

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-c

Verified C programming in Agda

agda-stdlib

The Agda standard library

autorandr

Auto-detect the connect display hardware and load the appropiate X11 setup using xrandr or disper

awesome-agda-programming

Awesome Agda Programming

docker-cli

The Docker CLI

go-ipset

Minimal Go bindings for libipset3

hue2mqtt-python

Phillips Hue to MQTT Bridge - Python

moby

Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

mountpoint-prohibit-paths

A Docker mount point plugin that prevents bind mounting certain paths

netlify-cms

A CMS for Static Site Generators

npcap

Nmap Project's packet sniffing library for Windows, based on WinPcap/Libpcap improved with NDIS 6 and LWF.

ocaml-mqtt

MQTT client for OCaml/ReasonML

rust-libzfs

Bindings to libzfs from rust

rust-libzfs_core

rust interface to libzfs(_core) and related interfaces

swarmkit

A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.

urlfilter

AdGuard content blocking library in golang

vector-hashtables