🎯
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
2
results
for source starred repositories
written in Cairo
Clear filter
My winning submission to the Cairo underhanded contest
Compiling LLVM bytecode to run on top of the CairoVM and execute provably on Starknet