Pinned Loading

1. Massive_Unification Massive_Unification Public

   Preliminary massive unification system for equality constraints over finite trees

   C 1 1

2. Multipacting Multipacting Public

   Port a C++ de código científico usando OpenMP. Código original del grupo ESS Bilbao

   C++

3. TXISPA-HB TXISPA-HB Public

   Heurísticos de Búsqueda sobre el problema de distribución de chips en una placa. Los chips generan calor, y la placa se enfría en el centro. Se busca la temperatura media más baja.

   Python 1

4. ThermalParallelization ThermalParallelization Public

   Proyecto de paralelización de código de difusión de calor.

   C