Stars
An online version of ffmpeg built on ffmpeg.wasm
pytest plugin for easy integration of memray memory profiler
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
An introduction to programming language theory in Agda
Class materials for a distributed systems lecture series
Thousands of everyday sounds, organized using machine learning.
generation of panoramic image mosaics using cylindrical projection and Burt-Adelson's blending
Lucha contra la aplicación para teléfonos móviles hecha por el Santander y promocionada por la Universidad de Granada.
(λ) Educational lambda calculus interpreter
Apuntes de las asignaturas de matemáticas en la UGR
Show where time is wasted during the context upload of `docker build`
timing attack to check if devtools are open
A pythonic implementation of the A* algorithm.
A community driven list of useful Emacs packages, libraries and other items.
Pixel graphics in terminal with unicode braille characters
A JS library for predictable global state management
Recopilación de plantillas de Latex. Más en: https://github.com/mroman42/templates