Fernando Ayats (viperML)

viperML

Geek Repo

Company:Inria

Location:Grenoble, France

Home Page:https://ayats.org

Github PK Tool:Github PK Tool

Fernando Ayats's repositories

home-manager-wsl

WSL distribution, including Nix + Home-manager + FHS Distro

Language:NixLicense:MITStargazers:35Issues:2Issues:5

miq

Master's thesis - Immutable package management for Linux

Language:RustStargazers:20Issues:3Issues:0

mkshell-minimal

POC of mkShell with the smallest closure possible

Language:NixLicense:EUPL-1.2Stargazers:18Issues:3Issues:0

viperML-overlay

Gentoo’s portage overlay with packages for personal use.

Language:ShellLicense:GPL-2.0Stargazers:4Issues:2Issues:1
Language:NixStargazers:3Issues:2Issues:0
Language:NixLicense:EUPL-1.2Stargazers:3Issues:2Issues:0

home

Source for https://ayats.org

Language:NixLicense:NOASSERTIONStargazers:3Issues:2Issues:1

bad-nix

Exploit the capabilities of trusted users in Nix

Language:NixStargazers:2Issues:2Issues:0

len

Toy language

Language:RustStargazers:1Issues:2Issues:0
Language:Jupyter NotebookStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

aoc-rs

Advent of Code (2022)

Language:RustStargazers:0Issues:2Issues:0

aoc2023

Advent of Code (2023)

Language:RustStargazers:0Issues:1Issues:0

bismuth

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

Language:TypeScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:TeXStargazers:0Issues:2Issues:0
Language:ScalaStargazers:0Issues:2Issues:0

exercism

Exercism solutions

Language:CStargazers:0Issues:2Issues:0

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixLicense:MITStargazers:0Issues:1Issues:0
Language:Jupyter NotebookStargazers:0Issues:2Issues:0
Language:Jupyter NotebookStargazers:0Issues:0Issues:0
Language:Jupyter NotebookStargazers:0Issues:2Issues:0
Language:NixStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:ShellStargazers:0Issues:1Issues:0
Language:RustStargazers:0Issues:1Issues:0

multifetch

One fetch to rule them all

Language:NixStargazers:0Issues:1Issues:0

pixel-tracker

Track read-recepits with a tracking pixel

Language:RustStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0