Pinned Repositories
active
♾️ ACTIVE: Filesystem Activities
avz
🔑 AVZ: Social Authorization
fs
📁 FS: Windows, Linux, Mac Driver
groupoid.space
🧊 Інститут формальної математики
henk.ex
🧊 Чиста система з всесвітами
monography
🧊 Перша формальна система
bpe
💠 BPE: BPMN Process Engine ISO 19510
kvs
💿 KVS: NVMe Key-Value Store
n2o
⭕ N2O: Distributed WebSocket Application Server ISO 20922
5HT's Repositories
5HT/fs
📁 FS: Windows, Linux, Mac Driver
5HT/active
♾️ ACTIVE: Filesystem Activities
5HT/5HT
Namdak Tonpa Personal Journal
5HT/5ht.cx.ua
Марки України
5HT/dnssec
DNSSEC: Library
5HT/longchenpa.guru
5HT/archive.journal
5HT/asn1.ts
Zero-copy ASN.1 and DER coding 🏎️
5HT/cmpossl
An OpenSSL-based implementation of the Certificate Management Protocol (CMP), defined in IETF RFCs 4210, 4211, and 6712. It is being extended according to the emerging RFCs 'CMP Updates' (CMPv3), 'CMP Algorithms', and 'Lightweight CMP Profile'.
5HT/Cobra-PS3
Cobra for PS3
5HT/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.
5HT/cubical-classics
An attempt towards univalent classical mathematics in Cubical Agda.
5HT/dstu8845
Implementation of Strumok stream cipher
5HT/embeddedCMP
proof-of-concept CMP client on the NXP FRDM-K64F platform
5HT/gencmpclient
generic CMP [RFC 4210] client library and CLI, based on CMPforOpenSSL (https://github.com/mpeylo/cmpossl)
5HT/hal_sntp_monitor
5HT/io
Io for .NET
5HT/ironwail
High-performance QuakeSpasm fork
5HT/LightweightCmpRa
This project provides a Proof of Concept (PoC) implementation of the Lightweight CMP Profile for CMP [RFC 4210].
5HT/min-caml-aarch64
5HT/n2o-coq
N2O: Coq Application Server
5HT/o7.network
O7: Elixir Network
5HT/pkgsrc-wip
Work-in-progress packages for pkgsrc, the portable package system from NetBSD [mirror]
5HT/protocol
NYNJA Protocol Specification
5HT/rosco_m68k
Design, documentation and software for the Really Old School Computer (M68K)
5HT/schemata
5HT/sokhatsky.art
Олег Сохацький
5HT/som-tsp
Solving the Traveling Salesman Problem using Self-Organizing Maps
5HT/tonpa.guru-1
🙏🏻 Гуру Намдак Тонпа
5HT/ulibasn1
ASN1 library for ulib apps