Максим Сохацький's repositories
codesamples
This is a growing collection of code samples, fully working demonstration programs I wrote as supplementary material for articles posted at forums, newsgroups, Q&A sites, blogs, and so on.
cubical-classics
An attempt towards univalent classical mathematics in Cubical Agda.
gencmpclient
generic CMP [RFC 4210] client library and CLI, based on CMPforOpenSSL (https://github.com/mpeylo/cmpossl)
LightweightCmpRa
This project provides a Proof of Concept (PoC) implementation of the Lightweight CMP Profile for CMP [RFC 4210].
o7.network
O7: Elixir Network
pkgsrc-wip
Work-in-progress packages for pkgsrc, the portable package system from NetBSD [mirror]
rosco_m68k
Design, documentation and software for the Really Old School Computer (M68K)
sokhatsky.art
Олег Сохацький
tonpa.guru-1
🙏🏻 Гуру Намдак Тонпа