Ми — open-source лабораторія, що спеціалізується на створенні мінімалістичних, портативних та високоефективних термінальних інструментів для системного програмування, реверс-інжинірингу, низькорівневого аналізу та роботи з бінарними даними. Наші проєкти побудовані виключно на стандартах C99 та POSIX, без зовнішніх залежностей (окрім termios), з акцентом на компактність, крос-платформенність та формальну коректність. Вони продовжують традицію класичних інструментів типу Norton Commander, HIEW та objdump, але в сучасному, легкому та верифікованому вигляді.
- os — OS.1.
- wm — Erlang x11 Window Manager.
- 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 протоколу.
Наша мета — надати розробникам, реверс-інженерам, системним програмістам та дослідникам безпеки компактні, незалежні та надійні термінальні інструменти, які працюють скрізь і не потребують нічого, крім стандартного C99/POSIX-середовища. Ми прагнемо відродити та вдосконалити класичний підхід до термінальних утиліт: швидка навігація, пряме редагування бінарних даних, дизасемблювання та верифікована робота з шелом. Особливу увагу приділяємо мінімалізму (бінарники до 35 KB, код до 1K LOC), крос-платформенності та формальній верифікації критичних компонентів. Ми віримо, що справжня сила системного програмування — у простих, прозорих та портативних інструментах.
- Мінімалізм та незалежність — жодних зовнішніх бібліотек (ncurses, S-Lang), тільки C99, POSIX та termios.
- Компактність — бінарники до десятків кілобайт, код до 1–5 файлів, розмір джерел обмежений.
- Крос-платформенність — повна підтримка Linux, macOS, Windows та BSD без умовної компіляції.
- Функціональна повнота — дві панелі, вбудовані редактори, дизасемблер, патчі при суворій економії ресурсів.
- Формальна коректність — де можливо, застосовуємо формальні моделі (Coq, OCaml, F*) та верифікацію.
- Відкритість — весь код open-source під permissive-ліцензіями для вільного використання та внеску.
🇺🇦 Зроблено з фокусом на низькорівневе системне програмування та реверс-інжиніринг.
Лабораторія є частиною ширшої дослідницької діяльності Synrc Research Center та Groupoid Infinity, де вивчаються формальні методи, компілятори та верифіковані системи. Інструменти призначені як для повсякденної роботи системних програмістів, так і для навчальних цілей у курсах з системного програмування на C.
˙
Публікації
[1]. Домашня сторінка проекту
[2]. FPGA археологія
[2]. XT: 8086 Дизасемблер
[3]. ARM64: Armv9.2 Дизасемблер
[4]. Процесори Intel
[5]. Ретроконсолі
[6]. Ретрокомпіки
[7]. Компіки Сохацького
Copyright © 2023—2026 Максим Сохацький