ggzor/cuda-busy-beaver

Stars
1
Language Cuda
Created almost 5 years ago

ggzor/cuda-busy-beaver

ggzor

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Busy-Beaver CUDA calculator

seminarios-tla

PPC-Filosofos

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

dotfiles-arch

advent-of-code-2021

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

Recursos

Recursos de diversos temas que he encontrado muy útiles

eURM

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

turing-machines

A Turing Machines interpreter

seminarios-idris2-dt

Los seminarios sobre programación con Tipos Dependientes en Idris 2

AguaSB

sorting-agda

Proofs of sorting algorithms using Agda

SistemasOperativos2

Prácticas de la materia de sistemas operativos 2.

md-visualizacion-proyecto-final

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

Integrales

plox

A Python *lox interpreter

fast-hanoi

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