Léo Gillot-Lamure (navaati)

navaati

Geek Repo

Location:Paris

Github PK Tool:Github PK Tool

Léo Gillot-Lamure's repositories

hs-libdrm

A Haskell binding to libdrm

Language:HaskellStargazers:1Issues:2Issues:0
Language:HaskellStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:2Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:AssemblyStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0
Stargazers:0Issues:2Issues:0

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

DefinitelyTyped

The repository for high quality TypeScript type definitions.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dht-embedded-rs

Rust embedded-hal driver for DHT11 and DHT22 temperature/humidity sensors

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

docker-socat

Docker image with socat from alpine, used to redirect ports inside other container's net namespace

Stargazers:0Issues:0Issues:0
Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

esp-idf-hal

embedded-hal implementation for Rust on ESP32 and ESP-IDF

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

mytoolbox

Image to be used as toolbox in CoreOS

Stargazers:0Issues:0Issues:0

node_exporter

Exporter for machine metrics

License:Apache-2.0Stargazers:0Issues:0Issues:0

plfa.github.io

Introduction to programming language theory in Agda.

Language:AgdaStargazers:0Issues:0Issues:0

prometheus_client_rust

Prometheus / OpenMetrics client library in Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

rust-fuse

Rust library for filesystems in userspace (FUSE)

Language:RustLicense:MITStargazers:0Issues:1Issues:0

tacit

CSS framework for dummies, without a single CSS class: nicely renders properly formatted HTML5 pages

License:MITStargazers:0Issues:0Issues:0

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.

Language:GoLicense:MPL-2.0Stargazers:0Issues:0Issues:0

terraform-aws-vpc

Terraform module which creates VPC resources on AWS

Language:HCLLicense:NOASSERTIONStargazers:0Issues:0Issues:0

terraform-aws-vpc-flow-logs

Configures VPC flow logs for the given VPC.

Language:HCLLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

traefik

The Cloud Native Application Proxy

Language:GoLicense:MITStargazers:0Issues:0Issues:0

usb-libvirt-hotplug

Script to attach and detach USB devices from libvirt virtual machines based on udev rules.

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

winston

a multi-transport async logging library for node.js

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0