Gabriel Garcia Torrico Garciat

Garciat / TypeClassSystem.java

Last active December 3, 2025 14:51

	package org.example;

	import static java.lang.reflect.AccessFlag.PUBLIC;
	import static java.lang.reflect.AccessFlag.STATIC;
	import static java.util.Objects.requireNonNull;
	import static org.example.TypeClassSystem.witness;

	import java.lang.annotation.Retention;
	import java.lang.annotation.RetentionPolicy;
	import java.lang.reflect.Method;

Garciat / haskell-type-classes.ipynb

Created November 25, 2025 16:11

Sorry, something went wrong. Reload?

Sorry, we cannot display this file.

Sorry, this file is invalid so it cannot be displayed.

Garciat / haskell-parser.ipynb

Last active November 18, 2025 16:30

Sorry, something went wrong. Reload?

Sorry, we cannot display this file.

Sorry, this file is invalid so it cannot be displayed.

Garciat / Untitled.ipynb

Created November 11, 2025 12:25

Sorry, something went wrong. Reload?

Sorry, we cannot display this file.

Sorry, this file is invalid so it cannot be displayed.

Garciat / capture.html

Created February 27, 2025 18:10

	<!DOCTYPE html>
	<html>

	<head>
	<meta charset="UTF-8">
	<title>Screen Capture</title>
	<meta name="viewport" content="width=device-width, initial-scale=1">

	</head>

Garciat / fd-listener.deno.ts

Created February 22, 2025 19:25

Garciat / vscode-tunnel.tsx

Last active February 22, 2025 07:33

Manage your VS Code Remote Tunnel with Deno + CGI.

	#!/usr/bin/env -S /home/garciat/homebrew/bin/deno --allow-env --allow-run --allow-read --allow-write --allow-net

	import "jsr:@std/dotenv/load";

	import { readAllSync } from "jsr:@std/io/read-all";
	import { writeAllSync } from "jsr:@std/io/write-all";

	import { deleteCookie, getCookies, setCookie } from "jsr:@std/http/cookie";

	import { Application, Context, Router } from "jsr:@oak/oak";

Garciat / vscode-tunnel.py

Last active February 22, 2025 08:07

Manage your VS Code Remote Tunnel with Python 3 + CGI.

	# pip install google-api-python-client python-dotenv

	from typing import Optional, List, Tuple, Dict
	from dataclasses import dataclass

	import http.cookies
	import os
	import subprocess
	import sys
	import urllib.parse

Garciat / vscode-tunnel.php

Created February 20, 2025 19:21

Manage your VS Code Remote Tunnel with PHP.

	<?php

	function println($s)
	{
	echo "$s\n";
	}

	function shell_exec_trim($cmd, $nonzero_throw = true)
	{
	$lines = array();

Garciat / enum-gui.ts

Created December 15, 2024 17:31

	type KeyEnumOf<T> = {[P in keyof T]: P}

	class Enum {
	static make<T>(source: T): Readonly<KeyEnumOf<T>> {
	let result = {} as KeyEnumOf<T>;
	for (const k in source) {
	result[k] = k;
	}
	return Object.freeze(result);
	}