ggzor

seminarios-tla

advent-of-code-2021

My solutions for the Advent of Code 2021 in Scala, Python, Haskell and Rust.

dotfiles-arch

My dotfiles.

md-visualizacion-proyecto-final

Visualización de los clústeres del proyecto final de minería de datos.

plox

A Python *lox interpreter

SistemasOperativos2

Prácticas de la materia de sistemas operativos 2.

turing-machines

A Turing Machines interpreter

specifying-verifying-tail-recursion

Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"

advent-of-code-2022

aeson-typescript

Generate TypeScript definition files from your ADTs

aoc-utils

Extended cp-utils but specifically for the Advent of Code

appweb

Prácticas de la materia de Aplicaciones Web Otoño 2021 CCOS 700

compiladores-ccos-616

A simple table-driven Java lexer and LL(1) parser.

cp-utils

Some utils to solve and test competitive programming puzzles

expo-so2-replicacion

Código para la exposición de replicación de datos

ggzor

My special repo.

ghc-fingerprint-difference

haskell-nix-template

Simple Haskell nix template with HLS support using niv

haskell-opencv

Haskell binding to OpenCV-3.x

night-owl2.vim

nn-fire

Dataset, scripts and notebook to train a neural network to recognize fire in forests.

pratt-parsing-tests

Some Pratt parser implementations

Redes

Prácticas de la clase de redes

rgb-cube

RGB cube made with react-three-fiber

solga

Simple typesafe routing

tk-tagger

A simple python tkinter image cell tagger

too-much-prolog

Too.much.prolog

trabajos-tercera-app

Código de Tercera-App

type-level-magic

Some type-level magic in some languages.

vim-snippets

vim-snipmate default snippets (Previously snipmate-snippets)