Hacks 'R' Us Git

Taneb / eratosthenes

Agda 0

Implementation of a prime sieve in Agda

Updated 2024-07-16 05:26:37 +01:00

Taneb / nas

Nix 0

Updated 2024-06-29 06:55:57 +01:00

samw / apc2mqtt

Go 0

Control APC PDUs over MQTT

Updated 2024-06-24 16:10:51 +01:00

Taneb / thinnings

Agda 0

Exploration of thinnings in Agda

Updated 2024-06-24 00:21:33 +01:00

Hacks-R-Us / nixos-configs

0

Updated 2024-06-20 23:03:16 +01:00

Hacks-R-Us / hacksrus.uk

HTML 0

ohgodmyeyes

Updated 2024-06-20 22:21:27 +01:00

samw / home

Nix 0

Samw's home environment, as managed by Nix and home-manager

dotfiles home-manager home-manager-config nix

Updated 2024-06-08 22:42:24 +01:00

Streams-R-Us / video-privacy-today

Python 0

Tell us what videos on this day require no recording and/or no streaming

Updated 2024-06-02 01:50:38 +01:00

Streams-R-Us / hyperdeck-monitor

Rust 0

Updated 2024-06-01 16:30:38 +01:00

Streams-R-Us / ajantv2-nix

Nix 0

Updated 2024-05-15 14:03:42 +01:00

Streams-R-Us / atem-connection-rs

Rust 0

Updated 2024-04-12 19:58:41 +01:00

samw / iso7010-a-day

Rust 0

Posts ISO7010 pictograms into the Fediverse

Updated 2024-03-30 21:45:31 +00:00

samw / opentally-server

Rust 0

Updated 2024-01-26 14:27:21 +00:00

samw / nix-templates

Nix 0

Samw's Nix flake templates

Updated 2023-10-11 15:00:26 +01:00

samw / lk201_breakout

KiCad Layout 0

A prototyping tool for DEC terminals that use the LK201 keyboard

Updated 2023-10-05 00:25:00 +01:00

samw / dmg1083-tile-test

Rust 0

Updated 2023-09-15 02:52:57 +01:00

samw / iso7010print

Python 0

Updated 2023-08-18 19:04:18 +01:00

samw / ddcmqtt

Rust 0

Control DDC-capable monitors over MQTT

Updated 2023-07-04 22:30:16 +01:00

samw / debanator

Go 0

Automatic APT repositories for your .deb packages

Updated 2023-05-26 09:19:27 +01:00

samw / rolebot

Rust 0

A simple discord role giving bot

Updated 2023-05-11 17:46:19 +01:00