tomasriveral
Follow
-
nixpkgs-review-gha Public
Forked from Defelo/nixpkgs-review-ghaRun nixpkgs-review in GitHub Actions
-
NoteWrapper Public
Journaling and notetaking TUI wrapper on top of your favorite editor
-
action-ntfy-down Public
Really simple GitHub actions to alert via ntfy when a website is down.
-
ReSSPublica Public
Making Swiss governement data more accessible with rss (and atom)
-
nixos Public
My nixos configuration for both my laptop and desktop
-
-
-
terminal-space-program Public
Forked from jasonfen/terminal-space-programAdd nixos instructions for nixos
Go MIT License UpdatedAug 21, 2026 -
hyprland-wiki Public
Forked from hyprwm/hyprland-wikiThe Hyprland Wiki Pages, automatically synced with the website.
HTML BSD 3-Clause "New" or "Revised" License UpdatedAug 17, 2026 -
ShazamIO Public
Forked from shazamio/ShazamIO🎵 Is a free asynchronous library from reverse engineered Shazam API written in Python 3.10+ with asyncio and aiohttp.
Python MIT License UpdatedAug 15, 2026 -
Nix-Git-Cherry-Picker Public
Git helper to cherry pick commits between two machine with the same nix config repository, but on two different branches
-
ZeroToLean Public archive
My journey with Lean4. Starting with _Theorem Proving in Lean 4_ during the summer and a math bachelor @EPFL
-
gvanrossum.github.io Public
Forked from gvanrossum/gvanrossum.github.ioFix utm_source=chatgpt.com
HTML UpdatedJul 30, 2026 -
Viaduct Public
Forked from VirInvictus/Viaductan opinionated rust-based port of netnewswire for linux
Rust MIT License UpdatedJul 30, 2026 -
nixpkgs-notifier Public
A notifiy wrapper on top of https://nixpk.gs/pr-tracker.html
-
Hairloss-report Public
Uses multiple language and vision models to estimate hairloss through time. This project only generates the data, the graphs and a galery view of the reports. The report must be written by the user.
-
patent Public
Forked from r14dd/patentA prior-art search for your code ideas. Stop building what already exists.
Rust Apache License 2.0 UpdatedJun 3, 2026 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@khaneliman, @rycee]
Nix MIT License UpdatedMay 25, 2026 -
sbb-tui Public
Forked from Necrom4/sbb-tuiTUI client for Switzerland's public transport timetables, inspidered by the SBB/CFF/FFS app
Go MIT License UpdatedApr 26, 2026 -
vivify.vim Public
Forked from jannis-baum/vivify.vimUpdating the readme to add the nix package
Vim Script UpdatedApr 2, 2026 -
manix Public
Forked from nix-community/manixbetter fzf integration
Rust Apache License 2.0 UpdatedMar 8, 2026 -
-
fractal-CLI Public
A fast CLI for exploring fractals written in C and with many options
C GNU General Public License v3.0 UpdatedNov 10, 2024