navaati/gl-rs
An OpenGL function pointer loader for Rust
Repositories
navaati/terraform-bastion
Bastion host state management for *vglab* and *sausage* cloud
navaati/prometheus_client_rust
Prometheus / OpenMetrics client library in Rust
navaati/traefik
The Cloud Native Application Proxy
navaati/tacit
CSS framework for dummies, without a single CSS class: nicely renders properly formatted HTML5 pages
navaati/esp-idf-hal
embedded-hal implementation for Rust on ESP32 and ESP-IDF
navaati/dht-embedded-rs
Rust embedded-hal driver for DHT11 and DHT22 temperature/humidity sensors
navaati/node_exporter
Exporter for machine metrics
navaati/terraform-aws-vpc
Terraform module which creates VPC resources on AWS
navaati/usb-libvirt-hotplug
Script to attach and detach USB devices from libvirt virtual machines based on udev rules.
navaati/terraform
Terraform enables you to safely and predictably create, change, and improve infrastructure. It is an open source tool that codifies APIs into declarative configuration files that can be shared amongst team members, treated as code, edited, reviewed, and versioned.
navaati/terraform-aws-vpc-flow-logs
Configures VPC flow logs for the given VPC.
navaati/bevy
A refreshingly simple data-driven game engine built in Rust
navaati/git-hooks-42
Git hooks, such as pre-commit, for 42 school dev environment
navaati/documentation
navaati/plfa.github.io
Introduction to programming language theory in Agda.
navaati/DefinitelyTyped
The repository for high quality TypeScript type definitions.
navaati/hs-libdrm
A Haskell binding to libdrm
navaati/tomahawk-gentoo
navaati/gloss-netwire
A netwire interface to Gloss
navaati/docker-socat
Docker image with socat from alpine, used to redirect ports inside other container's net namespace
navaati/mytoolbox
Image to be used as toolbox in CoreOS
navaati/rkt-ecr-config
navaati/winston
a multi-transport async logging library for node.js
navaati/git-mess-example
navaati/rust-fuse
Rust library for filesystems in userspace (FUSE)