Axel Suárez (@ggzor)
github

ggzor

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

seminarios-tla

TeX
4
star
2

PPC-Filosofos

Solución al problema de los filósofos comensales con Python y Locks
Python
3
star
3

dotfiles-arch

My dotfiles.
Shell
2
star
4

advent-of-code-2021

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

Recursos

Recursos de diversos temas que he encontrado muy útiles
1
star
6

cuda-busy-beaver

Busy-Beaver CUDA calculator
Cuda
1
star
7

eURM

Extended URM machines interpreter and compiler with support for compositional, recursive, bounded minimizational, summation and product definitions
Haskell
1
star
8

turing-machines

A Turing Machines interpreter
Haskell
1
star
9

seminarios-idris2-dt

Los seminarios sobre programación con Tipos Dependientes en Idris 2
TeX
1
star
10

AguaSB

C#
1
star
11

sorting-agda

Proofs of sorting algorithms using Agda
Agda
1
star
12

SistemasOperativos2

Prácticas de la materia de sistemas operativos 2.
Python
1
star
13

md-visualizacion-proyecto-final

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

Integrales

Python
1
star
15

plox

A Python *lox interpreter
Python
1
star
16

fast-hanoi

A towers of hanoi visualizer built with react, framer-motion and chakra-ui
JavaScript
1
star