Skip to content

Instantly share code, notes, and snippets.

View Garciat's full-sized avatar

Gabriel Garcia Torrico Garciat

43 followers · 8 following
View GitHub Profile
@Garciat
Garciat / expr.cpp
Last active January 24, 2026 21:48
#include <memory>
#include <print>
#include <sstream>
#include <string>
#include <variant>
template<class... Ts>
struct overloaded : Ts... { using Ts::operator()...; };
auto format(auto&& value) {
@Garciat
Garciat / wallis.hs
Created January 24, 2026 16:26
Wallis product in Haskell - https://en.wikipedia.org/wiki/Wallis_product
import Data.Ratio
rat f g r = f (numerator r) % g (denominator r)
num f = rat f id
den f = rat id f
-- fun way
wallis = (2 % 1) : zipWith ($) (cycle [den (+2), num (+2)]) wallis
@Garciat
Garciat / rex.c
Last active January 2, 2026 07:30
A regular expressions DSL for C, inspired by Haskell's Parsec library. Continued in https://github.com/Garciat/parsing.c
#include <assert.h>
#include <stdarg.h>
#include <stddef.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
// ==============================================================
// # Utilities
// ==============================================================
@Garciat
Garciat / StateModel.java
Last active January 25, 2026 11:22
// === Library
interface FeatureKey {}
sealed interface LookupResult<S extends State<S, ?, ?>> {
record Found<S extends State<S, ?, ?>>(S state) implements LookupResult<S> {}
record NotFound<S extends State<S, ?, ?>>() implements LookupResult<S> {}
}
@Garciat
Garciat / Advent2025-1.hs
Last active December 5, 2025 13:11
data Dial = Dial Int deriving (Show, Eq)
dialMod :: Num a => a
dialMod = 100
instance Num Dial where
(Dial x) + (Dial y) = Dial ((dialMod + x + y) `mod` dialMod)
negate (Dial x) = Dial ((dialMod - x) `mod` dialMod)
fromInteger x = Dial (fromInteger (x `mod` dialMod))
-- other Num methods skipped for brevity
@Garciat
Garciat / TypeClassSystemHKT.java
Last active December 17, 2025 00:47
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 java.util.function.Function.identity;
import static org.example.Functions.curry;
import static org.example.Functions.flip;
import static org.example.TyEq.refl;
import static org.example.TypeClass.Witness.Overlap.OVERLAPPABLE;
@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
Garciat / haskell-type-classes.ipynb
Created November 25, 2025 16:11
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@Garciat
Garciat / haskell-parser.ipynb
Last active November 18, 2025 16:30
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@Garciat
Garciat / refined.java
Created October 8, 2025 12:08
interface Refinement<T> {
boolean isValid(T value);
static <T, R1 extends Refinement<T>, R2 extends Refinement<T>> And<T, R1, R2> and(R1 r1, R2 r2) {
return new And<>(r1, r2);
}
record And<T, R1 extends Refinement<T>, R2 extends Refinement<T>>(R1 r1, R2 r2)
implements Refinement<T> {