-
adafruit-seesaw Public
Forked from alexeden/adafruit-seesawPlatform-agnostic driver to communicate with devices running Adafruit Seesaw firmware.
Rust Apache License 2.0 UpdatedFeb 1, 2025 -
esphome-docs Public
Forked from esphome/esphome-docsSource for esphome.io documentation files.
Python Other UpdatedJan 28, 2025 -
librespot Public
Forked from librespot-org/librespotOpen Source Spotify client library
Rust MIT License UpdatedSep 13, 2024 -
starlark-rust Public
Forked from facebook/starlark-rustA Rust implementation of the Starlark language
Rust Apache License 2.0 UpdatedMar 3, 2024 -
esp-idf-hal Public
Forked from esp-rs/esp-idf-halembedded-hal implementation for Rust on ESP32 and ESP-IDF
Rust Apache License 2.0 UpdatedJan 28, 2024 -
spotify-connect Public
Forked from TimotheeGerber/spotify-connectLog on your Spotify Connect compatible devices through the terminal
Rust MIT License UpdatedDec 17, 2023 -
librespot-java Public
Forked from librespot-org/librespot-javaThe most up-to-date open source Spotify client
Java Apache License 2.0 UpdatedDec 15, 2023 -
mdns Public
Forked from dylanmckay/mdnsA multicast DNS client in Rust
Rust MIT License UpdatedNov 18, 2023 -
esp-hal Public
Forked from esp-rs/esp-halno_std Hardware Abstraction Layers for ESP32 microcontrollers
Rust Apache License 2.0 UpdatedOct 15, 2023 -
-
ocaml-mqtt Public
Forked from hyper-systems/ocaml-mqttMQTT client for OCaml/ReasonML
OCaml UpdatedFeb 6, 2023 -
ocaml-unix-errno Public archive
Unix errno types, maps, and support for OCaml
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedNov 3, 2022 -
hue2mqtt-python Public
Forked from trickeydan/hue2mqtt-pythonPhillips Hue to MQTT Bridge - Python
Python MIT License UpdatedAug 28, 2022 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedJul 12, 2021 -
agda-c Public
Forked from jmlowenthal/agda-cVerified C programming in Agda
Agda UpdatedFeb 23, 2021 -
ocaml-sodium Public archive
Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl
-
lgtv-sdp Public
Fake startup service for LG TV
-
urlfilter Public
Forked from AdguardTeam/urlfilterAdGuard content blocking library in golang
-
AdGuardHome Public
Forked from AdguardTeam/AdGuardHomeNetwork-wide ads & trackers blocking DNS server
-
go-ipset Public
Forked from digineo/go-ipsetMinimal Go bindings for libipset3
-
awesome-agda-programming Public
Forked from freeman42x/awesome-agda-programmingAwesome Agda Programming
-
-
-
netlify-cms Public
Forked from decaporg/decap-cmsA CMS for Static Site Generators
-
cichlid Public
Forked from sfleischman105/cichlidRust library for managing RGB Colors
Rust MIT License UpdatedSep 7, 2019 -
ocaml-github-hooks Public
A GitHub web hook listener in OCaml
-
ocaml-unix-fcntl Public
Host-dependent UNIX fcntl.h access
-
ocaml-unix-sys-resource Public
Host-dependent UNIX sys/resource.h access
{{ message }}