David Costa's starred repositories
nix-topology
🍁 Generate infrastructure and network diagrams directly from your NixOS configurations
paperless-mobile
An (almost) fully fledged mobile paperless client.
tourmaline
Simple Telegram bot library for Crystal
awesome-crystal
:gem: A collection of awesome Crystal libraries, tools, frameworks and software
vagrant-google
Vagrant provider for GCE.
evalmodules
This is a collection of examples of using Nixpkgs lib.evalModules. It was used in a talk "Declaring an IDE with evalModules"
ATC_MiThermometer
Custom firmware for the Xiaomi Thermometers and Telink Flasher
toggl_track_to_openproject
Script for uploading your TogglTrack time entries to OpenProject
niu-ending
End of niu.moe - the credit animation
awesome-go
A curated list of awesome Go frameworks, libraries and software
typed-redux-saga
An attempt to bring better TypeScript typing to redux-saga.
GitTorrent
A decentralization of GitHub using BitTorrent and Bitcoin
robust-binary-search
Robust Binary Search provides a binary search implementation which is robust against errors during the search.
nix-serve-ng
A drop-in replacement for nix-serve that is faster and more reliable
microvm.nix
NixOS MicroVMs