🎯
Very restricted availability
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
-
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
0
results
for sponsorable starred repositories
written in Raku
Clear filter