Giters
Ambre Austen Suhamy (ElectreAAS)

ElectreAAS

Geek Repo

15

followers

17

following

3

stars

Github PK Tool:Github PK Tool

Ambre Austen Suhamy's starred repositories

eza

A modern alternative to ls

Language:RustLicense:MITStargazers:10507Issues:0Issues:0

fish-shell

The user-friendly command line shell.

Language:RustLicense:NOASSERTIONStargazers:25403Issues:0Issues:0

sherlocode

Realtime grep for OCaml/Coq sources available on opam

Language:OCamlLicense:MITStargazers:78Issues:0Issues:0