Skip to content

Instantly share code, notes, and snippets.

View Garciat's full-sized avatar

Gabriel G Garciat

37 followers · 8 following
View GitHub Profile
@Garciat
Garciat / Symbolic.hs
Created May 14, 2021 03:04
{-# LANGUAGE RankNTypes #-}
module Symbolic where
data Expr
= Var -- x
| Lit Double
| BinOp BinOp Expr Expr
| UnaOp UnaOp Expr
deriving (Show, Eq)
@Garciat
Garciat / UFuture.java
Created May 7, 2021 18:44
package example.playground.ufuture;
import com.google.common.util.concurrent.FluentFuture;
import com.google.common.util.concurrent.Futures;
import com.google.common.util.concurrent.SettableFuture;
import lombok.EqualsAndHashCode;
import lombok.RequiredArgsConstructor;
import lombok.Value;
import java.util.concurrent.CompletableFuture;
@Garciat
Garciat / mandala.html
Last active May 7, 2021 18:44
<!DOCTYPE html>
<html lang="en-us">
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
<title>Mandala</title>
<style type="text/css">
html, body {
overflow: hidden;
width: 100%;
@Garciat
Garciat / di.py
Last active April 27, 2021 19:33
import inspect
from typing import Any, Dict, Iterable, List, get_type_hints
def linearize_type_hierarchy(root: type) -> Iterable[type]:
if root is object:
return
yield root
for node in inspect.getclasstree([root]):
if isinstance(node, tuple):
@Garciat
Garciat / MicroWire.java
Last active April 19, 2021 20:56
package example.playground;
import lombok.RequiredArgsConstructor;
import lombok.Value;
import lombok.With;
import java.lang.reflect.Constructor;
import java.lang.reflect.Parameter;
import java.util.ArrayList;
import java.util.Arrays;
@Garciat
Garciat / vortex.html
Last active April 10, 2021 08:17
<body style="margin:0"></body>
<script src="https://gbrlgrct.com/gists/07d74ba686ce04eccb11faa44f2ae229/functional.js"></script>
<script>
'use strict';
/* Init */
const SPACEW = document.body.clientWidth;
const SPACEH = document.body.clientHeight;
@Garciat
Garciat / Parsec.java
Last active July 22, 2020 20:40
package example.playground.parsec;
import lombok.EqualsAndHashCode;
import lombok.Value;
import lombok.val;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.Collections;
import java.util.HashSet;
@Garciat
Garciat / Life.hs
Created July 4, 2020 13:19
{-# Language GADTs #-}
{-# Language RankNTypes #-}
{-# Language TypeFamilies #-}
import Control.Monad
---
class Rel a where
type Delta a :: *
@Garciat
Garciat / free_monad.py
Last active June 4, 2020 07:19
from abc import ABCMeta, abstractmethod
from dataclasses import dataclass
from typing import TYPE_CHECKING, Any, Awaitable, Generic, Generator, Iterable, \
List, Tuple, TypeVar, cast
###
T = TypeVar('T')
R = TypeVar('R')
@Garciat
Garciat / Parser.java
Last active June 4, 2020 04:50
package com.uber.playground;
import lombok.NonNull;
import lombok.SneakyThrows;
import lombok.Value;
import org.jetbrains.annotations.Nullable;
import java.io.Serializable;
import java.lang.invoke.SerializedLambda;
import java.lang.reflect.InvocationTargetException;