dsheets

ocaml-sodium

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

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

adafruit-seesaw

Platform-agnostic driver to communicate with devices running Adafruit Seesaw firmware.

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

awesome-agda-programming

Awesome Agda Programming

cichlid

Rust library for managing RGB Colors

esp-hal

no_std Hardware Abstraction Layers for ESP32 microcontrollers

esp-idf-hal

embedded-hal implementation for Rust on ESP32 and ESP-IDF

go-ipset

Minimal Go bindings for libipset3

hue2mqtt-python

Phillips Hue to MQTT Bridge - Python

librespot

Open Source Spotify client library

librespot-java

The most up-to-date open source Spotify client

mdns

A multicast DNS client in Rust

netlify-cms

A CMS for Static Site Generators

ocaml-mqtt

MQTT client for OCaml/ReasonML

rust-libzfs

Bindings to libzfs from rust

spotify-connect

Log on your Spotify Connect compatible devices through the terminal

starlark-rust

A Rust implementation of the Starlark language

urlfilter

AdGuard content blocking library in golang

vector-hashtables