Name: Ryan Lahfa
Type: User
Company: Independent Contributor
Bio: Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Location: France
Blog: https://ryan.lahfa.xyz
0bin
Client side encrypted pastebin
42sh
A shitty shell.
a0
A simple microkernel, A/0
aarch64-build-box
Config for the Community aarch64 NixOS box [maintainer=@grahamc]
accel-turn-poc
An Accel Turn proof of concept. (explorating a gameplay)
aclidswitch
Simple Power Management tool to define custom lid, brightness and low battery actions depending on the laptop's AC state
aeneas
A verification toolchain for Rust programs
agenda-online
Projet de gamin que j'avais fait quand j'étais petit. J'ai toujours pas la foi de le delete. Mais j'aime bien montrer que j'écrivais du code horrible avant.
agenix
age-encrypted secrets for NixOS
ai-slides-tpe
Slides for AI school presentation (using Reveal.js ♥)
algo_num_tme_2019
Rapport & MATLAB files pour les TME d'algo num
animeopenings
Displays random anime openings
api-client-python
Provides a simple genome browser that pulls data from the API in Python.
arkheon
Track your Nix closures over time
ateliers
Présentation des ateliers BlueHats
autobahnobject
A Crossbar worker to create database replicated objects which can be manipulated by CRUD operations
autobahnreact
Make realtime a breeze with React.
autobahnrethink
Bridge between Crossbar and RethinkDB.
avl-verification
Aeneas applied to AVL trees
awesome-terminal-fonts
Tools and instructions on how to have awesome symbols in a terminal with a monospace font
bangumi-data
Raw data for Japanese Anime
bcachefs-ktest
bcachefs-tools
http://bcachefs.org
beauties
Essential personal Internet services
berkovich-spaces
Attempt to formalize Berkovich spaces in Lean theorem prover
betrusted-scripts
Shell scripts for debugging and flashing betrusted
bob-emploi
A data-driven companion for jobseekers.
bootspec
bootspec-1
Implementation of RFC-0125's datatype and synthesis tooling.
boringtun
Userspace WireGuard® Implementation in Rust
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
