Skip to content

Instantly share code, notes, and snippets.

View Malix-Labs's full-sized avatar
🌊

Malix - Alix Brunet Malix-Labs

🌊
107 followers · 300 following
View GitHub Profile
@Malix-Labs
Malix-Labs / README.md
Last active July 2, 2026 18:02
Nix Options Schema

Nix Options Schema

A library for using standard Nix option declarations as a single source of truth for both modules and pure library functions

The Problem

When building a Nix library that also ships a module, you typically need the same static default values in multiple places, notably:

  1. modules (lib.mkOption { default = ...; })
  2. Pure functions that run outside a system context and need defaults
@Malix-Labs
Malix-Labs / README.md
Last active July 2, 2026 17:59
NixOS Test Harvester

NixOS Test Harvester

Exposes a library helper and a flake-parts module to dynamically inspect NixOS configurations and register their enabled services to Nixpkgs' integration tests for CI/checks.

How to use

Flake Input

inputs.nixos-test-harvester = {
  url = "https://gist.github.com/Malix-Labs/d58d2af9be08519099b17abb25f4d5be";
@Malix-Labs
Malix-Labs / README.md
Last active July 3, 2026 22:07
`agy` Timers Utils

agy Timers Utils

A Google Antigravity timer start script

It is packaged as a Nix flake, exposing a standalone package, a Home Manager module, and a native NixOS module to run the script periodically via systemd user services and timers so the cooldown is always maxxed

How to use

Flake Input

@Malix-Labs
Malix-Labs / .envrc
Last active March 1, 2026 00:27
Efrei 2026 Cloud Computing Lab 4
use flake
@Malix-Labs
Malix-Labs / bash.bash
Last active April 13, 2026 23:15
Bash Boilerplate
#!/usr/bin/env bash
set -euCET -o pipefail
@Malix-Labs
Malix-Labs / 4.log
Last active June 29, 2025 22:05
Knowledge
1. Individuals of type Person (Customer + DeliveryMan):
Customer: http://www.example.org/customer/MariaRossi
Customer: http://www.example.org/customer/JeanDupont
DeliveryMan: http://www.example.org/delivery/Claude
DeliveryMan: http://www.example.org/delivery/Alice
2. SPARQL - All persons (Customer + DeliveryMan) with names:
Person: http://www.example.org/delivery/Claude, Name: Claude
Person: http://www.example.org/customer/MariaRossi, Name: Maria Rossi
Person: http://www.example.org/delivery/Alice, Name: Alice
@Malix-Labs
Malix-Labs / Main.bpmn
Last active April 14, 2025 14:22
Software Development Process
<?xml version="1.0" encoding="UTF-8"?>
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_1mv9eft" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="18.3.1">
<bpmn:collaboration id="Collaboration_069i7ol">
<bpmn:participant id="Participant_0fk3t0c" name="Customer" processRef="Process_0re9jex" />
<bpmn:participant id="Participant_0n9pw0j" name="Customer" processRef="Process_0ff1fgc" />
<bpmn:participant id="Participant_0dt7p7u" name="Quality Control Company" processRef="Process_00ta6d6" />
<bpmn:messageFlow id="Flow_11c1k1g" sourceRef="Activity_11unkuo" targetRef="Activity_00t2hj4" />
<bpmn:messageFlow id="Flow_1u2jy5o" sourceRef="Activity_1nnklra" targetRef="Activity_1r11na7" />
<bpmn:
@Malix-Labs
Malix-Labs / BypassRNO.ps1
Created March 29, 2025 12:40
Bypass Network Requirement During Windows Install (`OOBE\BYPASSNRO` workaround)
reg add "HKLM\SOFTWARE\Microsoft\Windows\CurrentVersion\OOBE" /v BypassNRO /t REG_DWORD /d 1 /f
@Malix-Labs
Malix-Labs / README.md
Last active February 17, 2025 01:07
Bertrand Paradox

Betrand Paradox

Haskell impelmentation (arithmetics only) of the Bertrand Paradox

@Malix-Labs
Malix-Labs / main.bpmn
Last active October 19, 2024 08:43
EFREI 2026 I2 S7 ERP 1 6
<?xml version="1.0" encoding="UTF-8"?>
<bpmn:definitions xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:bpmn="http://www.omg.org/spec/BPMN/20100524/MODEL" xmlns:bpmndi="http://www.omg.org/spec/BPMN/20100524/DI" xmlns:dc="http://www.omg.org/spec/DD/20100524/DC" xmlns:di="http://www.omg.org/spec/DD/20100524/DI" id="Definitions_122czf3" targetNamespace="http://bpmn.io/schema/bpmn" exporter="bpmn-js (https://demo.bpmn.io)" exporterVersion="17.11.1">
<bpmn:collaboration id="Collaboration_1hkzyp4">
<bpmn:participant id="Participant_1ls3c46" name="Prospect" processRef="Process_13dnc83" />
<bpmn:participant id="Participant_1ftrbkr" name="Entreprise" processRef="Process_1pg09ab" />
<bpmn:messageFlow id="Flow_1mfbj7l" sourceRef="Activity_1qnfjkh" targetRef="Activity_0t0m1zt" />
<bpmn:messageFlow id="Flow_1yenige" sourceRef="Activity_13rwmpb" targetRef="Activity_1dko628" />
<bpmn:messageFlow id="Flow_0bl2f78" sourceRef="Activity_1qrc1ot" targetRef="Activity_0b75k7j" />
<bpmn:messag