Stars
Análisis de datos de celiaquía utilizando métodos de clustering.
A draggable and resizable grid layout with responsive breakpoints, for React.
Develop inside docker containers, just like VSCode
A curated collection of publicly available resources on how technology and tech-savvy organizations around the world practice Site Reliability Engineering (SRE)
mobile client for the magic wormhole protocol
Graphics engine and toolkit for client applications.
A dependent type theory logic for Isabelle
C++ examples for the Vulkan graphics API
Imaging, analysis, and simulation software for radio interferometry
This contains code and associated files from certain analyses of our paper published in Scientific Reports (7th of April). We will update this repo when applicable.
NetLogo Model to generate and analyze complex networks and dynamics on them
DEPRECATED: Official development moved to GitHub
Improved version of the X-Ray Engine, the game engine used in the world-famous S.T.A.L.K.E.R. game series by GSC Game World. Join OpenXRay! ;)
A collection of resources for learning type theory and type theory adjacent fields.
Github.com/CryptoSignal - Trading & Technical Analysis Bot - 4,100+ stars, 1,100+ forks
Web Scraper para datos de demanda, producción y coste de la energía eléctrica en España, y simulador de facturación eléctrica según el PVPC
RakNet is a cross platform, open source, C++ networking engine for game programmers.
A curated list of awesome technologies related to Anime, Comic and Games