-
Independent Contributor
- France
- https://ryan.lahfa.xyz
- @raito@nixos.paris
Stars
- All languages
- Agda
- Arduino
- Assembly
- Blade
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- CUE
- Cairo
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Fluent
- GAMS
- Go
- HLSL
- HTML
- Haskell
- Haxe
- Isabelle
- Java
- JavaScript
- Jinja
- Jsonnet
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lex
- LiveScript
- Lua
- MDX
- Makefile
- Markdown
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- PowerShell
- Python
- Racket
- Raku
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SWIG
- Scala
- Shell
- Svelte
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- Typst
- V
- Vala
- Verilog
- Vim Script
- Vue
- YARA
- Yacc
- Zig
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
AI-Powered Photos App for the Decentralized Web 🌈💎✨
An open source, self-hosted implementation of the Tailscale control server
The Single Sign-On Multi-Factor portal for web apps, now OpenID Certified™
D2 is a modern diagram scripting language that turns text to diagrams.
ZITADEL - Identity infrastructure, simplified for you.
Cloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!
API traffic analyzer for Kubernetes, providing deep packet inspection with complete API and Kubernetes contexts, retaining cluster-wide L4 traffic (PCAP), and using minimal production compute resou…
Ultimate camera streaming application with support RTSP, RTMP, HTTP-FLV, WebRTC, MSE, HLS, MP4, MJPEG, HomeKit, FFmpeg, etc.
Simulating shitty network connections so you can build better systems.
jq for binary formats - tool, language and decoders for working with binary and text formats
Real-time microphone noise suppression on Linux.
Distributed, offline-first bug tracker embedded in git
Open Source Metering and Usage Based Billing API ⭐️ Consumption tracking, Subscription management, Pricing iterations, Payment orchestration & Revenue analytics
Ultimate Plumber is a tool for writing Linux pipes with instant live preview
An ACME-based certificate authority, written in Go.
Merlin is a cross-platform post-exploitation HTTP/2 Command & Control server and agent written in golang.
modern full-featured open source secure mail server for low-maintenance self-hosted email
High-precision indoor positioning framework for most wifi-enabled devices.
Postgres operator creates and manages PostgreSQL clusters running in Kubernetes
SSH3: faster and rich secure shell using HTTP/3, checkout our article here: https://arxiv.org/abs/2312.08396 and our Internet-Draft: https://datatracker.ietf.org/doc/draft-michel-ssh3/