boogie — поддающийся проверке язык программирования (компилятор)

Поддающийся проверке язык программирования (компилятор).

onstartup.ru

ca-certificates-mono — Общие сертификаты CA (моно хранилище)

Общие сертификаты CA (моно хранилище).

onstartup.ru

db4otool — родные OODBMS для CLI (инструменты)

Родные OODBMS для CLI (инструменты).

onstartup.ru

fsharp — функционально-первый язык программирования - компилятор для CLI

Функционально-первый язык программирования - компилятор для CLI.

onstartup.ru

gtk-sharp3 — Набор GTK # 3.0, привязки CLI для GTK+

Набор GTK # 3.0, привязки CLI для GTK+.

onstartup.ru

gtk-sharp3-examples — примеры приложений для набора GTK # 3.0

Примеры приложений для набора GTK # 3.0.

onstartup.ru

gtk-sharp3-gapi — C-исходный парсер и генератор кода C # для API-интерфейсов на основе GObject

C-исходный парсер и генератор кода C# для API-интерфейсов на основе GObject.

onstartup.ru

hexbox — Hex Edit Control для .NET-разработчиков - приложения

Hex Edit Control для .NET-разработчиков - приложения.

onstartup.ru

libappindicator3-0.1-cil — Связывание CLI для appindicator3 с использованием самоанализа GObject

Связывание CLI для appindicator3 с использованием самоанализа GObject.

onstartup.ru