Pinned Repositories
advent-of-code-2021
My solutions for the Advent of Code 2021 in Scala, Python, Haskell and Rust.
AguaSB
cuda-busy-beaver
Busy-Beaver CUDA calculator
dotfiles
My dotfiles.
eURM
Extended URM machines interpreter and compiler with support for compositional, recursive, bounded minimizational, summation and product definitions
md-visualizacion-proyecto-final
Visualización de los clústeres del proyecto final de minería de datos.
PPC-Filosofos
Solución al problema de los filósofos comensales con Python y Locks
seminarios-tla
specifying-verifying-tail-recursion
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
turing-machines
A Turing Machines interpreter
ggzor's Repositories
ggzor/seminarios-tla
ggzor/advent-of-code-2021
My solutions for the Advent of Code 2021 in Scala, Python, Haskell and Rust.
ggzor/dotfiles
My dotfiles.
ggzor/md-visualizacion-proyecto-final
Visualización de los clústeres del proyecto final de minería de datos.
ggzor/SistemasOperativos2
Prácticas de la materia de sistemas operativos 2.
ggzor/turing-machines
A Turing Machines interpreter
ggzor/specifying-verifying-tail-recursion
Source code for the paper "Specifying and Verifying a Transformation of Recursive Functions into Tail-Recursive Functions"
ggzor/advent-of-code-2022
ggzor/aeson-typescript
Generate TypeScript definition files from your ADTs
ggzor/aoc-utils
Extended cp-utils but specifically for the Advent of Code
ggzor/appweb
Prácticas de la materia de Aplicaciones Web Otoño 2021 CCOS 700
ggzor/compiladores-ccos-616
A simple table-driven Java lexer and LL(1) parser.
ggzor/cp-utils
Some utils to solve and test competitive programming puzzles
ggzor/expo-so2-replicacion
Código para la exposición de replicación de datos
ggzor/ggzor
My special repo.
ggzor/ghc-fingerprint-difference
ggzor/haskell-nix-template
Simple Haskell nix template with HLS support using niv
ggzor/haskell-opencv
Haskell binding to OpenCV-3.x
ggzor/night-owl2.vim
ggzor/nn-fire
Dataset, scripts and notebook to train a neural network to recognize fire in forests.
ggzor/plox
A Python *lox interpreter
ggzor/pratt-parsing-tests
Some Pratt parser implementations
ggzor/Redes
Prácticas de la clase de redes
ggzor/rgb-cube
RGB cube made with react-three-fiber
ggzor/solga
Simple typesafe routing
ggzor/tk-tagger
A simple python tkinter image cell tagger
ggzor/too-much-prolog
Too.much.prolog
ggzor/trabajos-tercera-app
Código de Tercera-App
ggzor/type-level-magic
Some type-level magic in some languages.
ggzor/vim-snippets
vim-snipmate default snippets (Previously snipmate-snippets)