🎯
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
10
stars
written in Zig
Clear filter
👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.
The financial transactions database designed for mission critical safety and performance.
A language server for Zig supporting developers with features like autocomplete and goto definition
MicroZig is a toolbox for building embedded applications in Zig.
Zig-friendly library for interfacing with libgc (bdwgc) -- the Boehm-Demers-Weiser conservative garbage collector
Minimalistic hypervisor built on KVM, coded with Zig.
IUP (Portable User Interface Toolkit) bindings for the Zig language.