Ми — open-source лабораторія, що спеціалізується на створенні мінімалістичних, портативних та високоефективних термінальних інструментів для системного програмування, реверс-інжинірингу, низькорівневого аналізу та роботи з бінарними даними. Наші проєкти побудовані виключно на стандартах C99 та POSIX, без зовнішніх залежностей (окрім termios), з акцентом на компактність, крос-платформенність та формальну коректність. Вони продовжують традицію класичних інструментів типу Norton Commander, HIEW та objdump, але в сучасному, легкому та верифікованому вигляді.

Наша мета — надати розробникам, реверс-інженерам, системним програмістам та дослідникам безпеки компактні, незалежні та надійні термінальні інструменти, які працюють скрізь і не потребують нічого, крім стандартного C99/POSIX-середовища. Ми прагнемо відродити та вдосконалити класичний підхід до термінальних утиліт: швидка навігація, пряме редагування бінарних даних, дизасемблювання та верифікована робота з шелом. Особливу увагу приділяємо мінімалізму (бінарники до 35 KB, код до 1K LOC), крос-платформенності та формальній верифікації критичних компонентів. Ми віримо, що справжня сила системного програмування — у простих, прозорих та портативних інструментах.

• Мінімалізм та незалежність — жодних зовнішніх бібліотек (ncurses, S-Lang), тільки C99, POSIX та termios.
• Компактність — бінарники до десятків кілобайт, код до 1–5 файлів, розмір джерел обмежений.
• Крос-платформенність — повна підтримка Linux, macOS, Windows та BSD без умовної компіляції.
• Функціональна повнота — дві панелі, вбудовані редактори, дизасемблер, патчі при суворій економії ресурсів.
• Формальна коректність — де можливо, застосовуємо формальні моделі (Coq, OCaml, F*) та верифікацію.
• Відкритість — весь код open-source під permissive-ліцензіями для вільного використання та внеску.

• sc — Sokhatsky Commander — сучасний двохпанельний файловий менеджер у традиції Джона Соча.
• be — Binary Editor — InfoSec hex-редактор з повноцінним дизасемблером.
• tv — Terminal Vision — простий текстовий редактор у стилі IBM CUA.
• sh — Verified Shell — формально верифікований POSIX-сумісний шел для Windows, Linux, macOS, BSD.
• rt — Skynet Run-Time — мінімалістична POSIX-сумісна RTOS для вбудованих систем.
• skynet — Skynet OS — мінімалістична імплементація Skynet32 drone swarm coordination протоколу.

🇺🇦 Зроблено з фокусом на низькорівневе системне програмування та реверс-інжиніринг.

Лабораторія є частиною ширшої дослідницької діяльності Synrc Research Center та Groupoid Infinity, де вивчаються формальні методи, компілятори та верифіковані системи. Інструменти призначені як для повсякденної роботи системних програмістів, так і для навчальних цілей у курсах з системного програмування на C.

˙

Публікації

[1]. Домашня сторінка проекту
[2]. FPGA археологія
[2]. XT: 8086 Дизасемблер
[3]. ARM64: Armv9.2 Дизасемблер
[4]. Процесори Intel
[5]. Ретроконсолі
[6]. Ретрокомпіки
[7]. Компіки Сохацького

Copyright © 2023—2026 Максим Сохацький