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 / 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 / flooring.html
Created June 13, 2019 11:41
<!DOCTYPE html>
<html>
<head>
<style>
html, body {
height: 100%;
margin: 0;
}
</style>
<script>
@Garciat
Garciat / mandala2.html
Last active December 5, 2018 22:07
<!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 / 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 / Schema.hs
Created November 12, 2018 12:18
{-# Language ConstraintKinds #-}
{-# Language DataKinds #-}
{-# Language FlexibleInstances #-}
{-# Language KindSignatures #-}
{-# Language MultiParamTypeClasses #-}
{-# Language PolyKinds #-}
{-# Language RankNTypes #-}
{-# Language ScopedTypeVariables #-}
{-# Language TypeOperators #-}
module Schema where
@Garciat
Garciat / Vect.hs
Last active November 12, 2018 12:17
{-# Language DataKinds #-}
{-# Language GADTs #-}
{-# Language KindSignatures #-}
{-# Language NoImplicitPrelude #-}
{-# Language StandaloneDeriving #-}
{-# Language TypeFamilies #-}
{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
module Vect where
@Garciat
Garciat / StackExpr1.hs
Created November 6, 2018 17:31
module StackExpr where
data Instr
= Const Integer
| Add
| Sub
| Mul
| Neg
| Abs
| Sig
@Garciat
Garciat / FunctionalParsers.java
Last active September 24, 2019 09:50
import java.math.BigInteger;
import java.util.ArrayList;
import java.util.List;
import java.util.function.*;
// Scott encoding of a Haskell's Maybe
interface Maybe<T> {
<R> R match(Supplier<R> nothing, Function<T, R> just);
@Garciat
Garciat / tiles.html
Created August 25, 2018 14:14
<body style="margin:0">
<canvas></canvas>
</body>
<script>
let SCRW = document.body.clientWidth;
let SCRH = document.body.clientHeight;
let canvas = document.querySelector('canvas');
canvas.width = SCRW;
@Garciat
Garciat / videogram.html
Created August 25, 2018 14:14
<body style="margin:0"></body>
<video src="http://techslides.com/demos/sample-videos/small.webm" style="display:none" autoplay loop></video>
<script>
let SCRW = document.body.clientWidth;
let SCRH = document.body.clientHeight;
let canvas = document.createElement('canvas');
canvas.width = SCRW;
canvas.height = SCRH;