Discover @RaitoBezarius Open Source projects

Ryan Lahfa (@RaitoBezarius)

RaitoBezarius

Stars
268
Global Rank 97,561 (Top 4 %)
Followers 364
Following 212
Registered over 14 years ago
Most used languages

Nix
23.5 %

Python
17.6 %

Rust
11.8 %

Lean 8.8 %

C
5.9 %

JavaScript
5.9 %

TeX
5.9 %

Dhall 2.9 %

SystemVerilog 2.9 %

Jupyter Notebook
2.9 %

Vim Script
2.9 %

Zig
2.9 %

Sass 2.9 %

Haskell
2.9 %
Location 🇫🇷 France
Country Total Rank 2,988
Country Ranking

Sass 3

SystemVerilog 4

Dhall 5

Lean 5

Nix
12

Zig
33

TeX
165

Vim Script
207

Rust
210

Haskell
264

Python
966

Jupyter Notebook
1,683

JavaScript
2,898

C
3,291

buildxyz

Build your Nix package automatically

nixops-proxmox

NixOps plugin for Proxmox

arkheon

Track your Nix closures over time

AutobahnReact

Make realtime a breeze with React.

esgi_securite_informatique_pratique

Sécurité informatique pratique à travers Python (cours de l'ESGI)

compiler9000

An formalized micro-compiler in Lean 4

bujin-scheduler

A scheduler for your TaskWarrior backlog to your CalDAV

nixstorefs

A userspace Nix store filesystem implementation via FUSE

ifrit

An demonic library to write PE binaries

ens-courses

Notes de cours à l'ENS en tout genre

nixos-home

My NixOS home configuration

nixos-shim

Shim and related binaries signed via Hydra

wannago

Python script to get a minimal list of directions to go from one place to another without opening your Favorite Journey Planner (TM) and wasting (at least) 60 hours to load & use a bugged GUI (with bugged JS).

nixexprs

All my Nix expressions

berkovich-spaces

Attempt to formalize Berkovich spaces in Lean theorem prover

understanding-nixpkgs

Python notebooks on nixpkgs statistics

Jupyter Notebook

sysnum2020

Projet de sysnum 2020

vimconfig

My fucking vimrc & vim bundles.

nixos-x230

My NixOS configuration for X230

react-spawn

My React Starter Kit, a strange mix of React, JSX, ES7 (Babel), ESLint, React-Hot-Loader, nothing safe for production!

falcon-introduction

Slides used at Paris.py 6 for the presentation of Falcon (French).

presentation-bluehats-sept2022-nixos

Ressources pour l'atelier Blue Hats sur NixOS

rust-manager

A (Rust) manager to deploy docker micro-services, add proxy to nginx micro-service, add user and a lot of other things.

avl-verification

Aeneas applied to AVL trees

Maid-Bot

A Twitter bot made in Python, which is a cool maid ! (From Sakurasou)

A0

A simple microkernel, A/0

nix-qemu-bonding

nixit

Code transformation tooling for Nix

uboot-nwa50ax

U-Boot "v1.03" for the NWA50AX (MT7621)

buildxyz-examples

Examples of BuildXYZ resolutions

minimal-dropper

An attempt to create the most minimal portable executable dropper (and maybe undetectable?), drop all CRT/STL libs.

horribleapi

An Horrible API.

project_lu3in003_2019

Sorbonne University's programming project in LU3IN003 (2019)

nix-scripts

Scripts around Nix/NixOS/NixOps

nix-lean3

Flake repository of all Lean 3 versions with support for emscripten

federez-sdn-2022

Slides et code pour la présentation SDN à Federez 2022