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-arch
My dotfiles.
eURM
Extended URM machines interpreter and compiler with support for compositional, recursive, bounded minimizational, summation and product definitions
fast-hanoi
A towers of hanoi visualizer built with react, framer-motion and chakra-ui
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-arch
My dotfiles.
ggzor/turing-machines
A Turing Machines interpreter
ggzor/md-visualizacion-proyecto-final
Visualización de los clústeres del proyecto final de minería de datos.
ggzor/plox
A Python *lox interpreter
ggzor/SistemasOperativos2
Prácticas de la materia de sistemas operativos 2.
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/compiladores-ccos-616
A simple table-driven Java lexer and LL(1) parser.
ggzor/content
The content behind MDN Web Docs
ggzor/cp-utils
Some utils to solve and test competitive programming puzzles
ggzor/expo-gtk
Exposición de GTK
ggzor/expo-java-dia1
Exposición del primer día del taller de Java Intermedio durante el paro de actividades 25/02 de la BUAP.
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/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)