glpi-project / glpi

GLPI is a Free Asset and IT Management Software package, Data center management, ITIL Service Desk, licenses tracking and software auditing.

illumos / illumos-gate

An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles/illumos-gate

Combodo / iTop

A simple, web based CMDB & IT Service Management tool

developmentseed / titiler

Build your own Raster dynamic map tile services

sourcentis / mercator

Mapping the information system / Cartographie du système d'information

Vladimir-Human / ru-marketplace-mcp

Одиннадцать маркетплейсов и недвижимость Циан как MCP-серверы: Wildberries, Ozon, Яндекс Маркет, Детский мир, Авито, AliExpress, Taobao, Мегамаркет, Lamoda, DNS, Ситилинк, Циан. Плюс сравнение цен по всем товарным источникам одним вызовом. Только чтение, ключи не нужны.

VeriInfra-Lab / VeriTile

Lean 4 framework for reasoning about Triton-style kernels.