Pinned Repositories
blueprint
Simple templating based on XML ropes
codoc
OCaml documentation generator
gloc
Shader Toolchain targeting WebGL/ESSL 1.0
lgtv-sdp
Fake startup service for LG TV
ocaml-osx-cf
CoreFoundation bindings in OCaml
ocaml-process
Easy process control in OCaml
ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
ocaml-unix-errno
Unix errno types, maps, and support for OCaml
profuse
An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
ocaml-github
GitHub APIv3 OCaml bindings
dsheets's Repositories
dsheets/ocaml-sodium
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
dsheets/ocaml-process
Easy process control in OCaml
dsheets/ocaml-osx-cf
CoreFoundation bindings in OCaml
dsheets/lgtv-sdp
Fake startup service for LG TV
dsheets/ocaml-unix-errno
Unix errno types, maps, and support for OCaml
dsheets/ocaml-osx-fsevents
FSEvents bindings in OCaml
dsheets/ocaml-github-hooks
A GitHub web hook listener in OCaml
dsheets/ocaml-unix-fcntl
Host-dependent UNIX fcntl.h access
dsheets/ocaml-unix-sys-resource
Host-dependent UNIX sys/resource.h access
dsheets/adafruit-seesaw
Platform-agnostic driver to communicate with devices running Adafruit Seesaw firmware.
dsheets/AdGuardHome
Network-wide ads & trackers blocking DNS server
dsheets/agda
Agda is a dependently typed programming language / interactive theorem prover.
dsheets/agda-c
Verified C programming in Agda
dsheets/agda-stdlib
The Agda standard library
dsheets/awesome-agda-programming
Awesome Agda Programming
dsheets/cichlid
Rust library for managing RGB Colors
dsheets/esp-hal
no_std Hardware Abstraction Layers for ESP32 microcontrollers
dsheets/esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
dsheets/go-ipset
Minimal Go bindings for libipset3
dsheets/hue2mqtt-python
Phillips Hue to MQTT Bridge - Python
dsheets/librespot
Open Source Spotify client library
dsheets/librespot-java
The most up-to-date open source Spotify client
dsheets/mdns
A multicast DNS client in Rust
dsheets/netlify-cms
A CMS for Static Site Generators
dsheets/ocaml-mqtt
MQTT client for OCaml/ReasonML
dsheets/rust-libzfs
Bindings to libzfs from rust
dsheets/spotify-connect
Log on your Spotify Connect compatible devices through the terminal
dsheets/starlark-rust
A Rust implementation of the Starlark language
dsheets/urlfilter
AdGuard content blocking library in golang
dsheets/vector-hashtables