Malix - Alix Brunet Malix-Labs
🌊
svin24
/ aggregate_donor_recipient.py
Created
January 25, 2026 20:41
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env python3 | |
| import csv | |
| from collections import defaultdict | |
| from decimal import Decimal, InvalidOperation, ROUND_HALF_UP | |
| from pathlib import Path | |
| import argparse | |
| def parse_args(): | |
| p = argparse.ArgumentParser( | |
| description="Aggregate total received per recipient from each donor." |
EduardoRFS
/ bool_by_j.v
Last active
October 24, 2025 02:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Definition sig_fst {A B} {p q : {x : A | B x}} (H : p = q) | |
| : proj1_sig p = proj1_sig q := | |
| eq_rect _ (fun z => proj1_sig p = proj1_sig z) eq_refl _ H. | |
| Definition sig_snd {A B} {p q : {x : A | B x}} (H : p = q) | |
| : eq_rect _ B (proj2_sig p) _ (sig_fst H) = proj2_sig q := | |
| match H with | |
| | eq_refl => eq_refl | |
| end. |
alexaandru
/ chi.go
Created
February 14, 2024 16:40
Chi-like syntactic sugar layer on top of stdlib http.ServeMux
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Chi-like syntactic sugar layer on top of stdlib http.ServeMux. | |
| package main | |
| import ( | |
| "net/http" | |
| "slices" | |
| ) | |
| type ( | |
| middleware func(http.Handler) http.Handler |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # GitHub Gists | |
| */ | |
| # Environment | |
| *env* |
s1gnate-sync
/ build-container-vm.sh
Last active
March 20, 2025 06:54
Bootstrapping custom virtual machine on chrome os without any dependencies (it reuses existing vm and it's kernel)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/env bash | |
| export LC_ALL=C | |
| set -eu | |
| if test "$(id -u)" -ne 0; then | |
| echo "install: must be root" | |
| exit 1 | |
| fi |
Malix-Labs
/ .gitignore
Last active
November 8, 2024 17:13
Discord Desktop (Windows) Amoled Switching Tool
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # GitHub Gists | |
| */ | |
| # Environment | |
| *env* |
Malix-Labs
/ Administrator.bat
Last active
October 18, 2022 16:07
Batch - Script Require Administrative Permissions Template
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @echo off | |
| :Initialisation | |
| REM YOUR INITIALISATION CODE HERE | |
| :Administrator_Permission | |
| REM Complying with Administrator Permissions | |
| :Check | |
| REM Trying Running an Action Requiring Administrative Permissions, Then Store its Standard Error Output, OS-Dynamically |
Malix-Labs
/ Main.bat
Last active
October 18, 2022 18:04
Lenovo Fn And Function Keys Indicator Switch
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| @echo off | |
| :Initialisation | |
| title Lenovo Fn and Function Keys Indicators | |
| :Administrator_Permission | |
| REM Complying with Administrator Permissions | |
| :Check | |
| REM Trying Running an Action Requiring Administrative Permissions, Then Store its Standard Error Output, OS-Dynamically |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| setlocal | |
| for /f "delims=" %%I in ('powershell -noprofile "iex (${%~f0} | out-string)"') do ( | |
| echo You chose %%~I | |
| ) | |
| goto :EOF | |
| : end Batch portion / begin PowerShell hybrid chimera #> | |
| Add-Type -AssemblyName System.Windows.Forms |
Malix-Labs
/ windows-folder-browser_COM.bat
Last active
May 27, 2022 17:33
Windows Folder Browser - COM
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| setlocal | |
| set "psCommand="(new-object -COM 'Shell.Application')^.BrowseForFolder(0,'Please choose a folder.',0,0).self.path"" | |
| for /f "usebackq delims=" %%I in (`powershell %psCommand%`) do set "folder=%%I" | |
| endlocal |
NewerOlder