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

TranscriberBot for Telegram

Artifacts for the USENIX publication.

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

Annotate snps

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

Aplicación para la gestión de apuestas deportivas

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

an example zkpp system

A GTK user interface for TLP written in Python

Lógica de primer orden en Haskell literario

OpenMW-MCP is a fork of OpenMW that implements some traditional MCP features.