5HT

Мандрівний художник

@synrcKyiv, Ukraine

Pinned Repositories

active
♾️ ACTIVE: Filesystem Activities
Language:Erlang66 5 818
avz
🔑 AVZ: Social Authorization
Language:Erlang41 8 313
fs
📁 FS: Windows, Linux, Mac Driver
Language:Erlang233 8 3369
groupoid.space
🧊 Інститут формальної математики
Language:TeX35 10 413
henk
🧊 Чиста система з всесвітами
Language:Erlang144 21 3520
monography
🧊 Перша формальна система
Language:TeX92 14 113
bpe
💠 BPE: BPMN Process Engine ISO 19510
Language:Erlang262 26 1166
kvs
💿 KVS: NVMe Key-Value Store
Language:Erlang174 15 1347
n2o
⭕ N2O: Distributed WebSocket Application Server ISO 20922
Language:Erlang1.3k 82 122168

5HT's Repositories

5HT/fs
📁 FS: Windows, Linux, Mac Driver
Language:Erlang233 8 3369
5HT/5HT
Namdak Tonpa Personal Journal
Language:HTML5 8 09
5HT/5ht.cx.ua
Марки України
Language:HTML2 2 0
5HT/longchenpa.guru
Language:HTML1 2 0
5HT/n2o.cloud
🌐 N2O.CLOUD: Application Instances
1 3 0
5HT/archive.journal
Language:HTML2 0
5HT/asn1.ts
Zero-copy ASN.1 and DER coding 🏎️
Language:TypeScript1 0
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'.
Language:C1 0
5HT/Cobra-PS3
Cobra for PS3
Language:C1 0
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.
1 0
5HT/cubical-classics
An attempt towards univalent classical mathematics in Cubical Agda.
Language:Agda1 0
5HT/dnssec
DNSSEC: Library
Language:Erlang2 01
5HT/dstu8845
Implementation of Strumok stream cipher
Language:C1 0
5HT/embeddedCMP
proof-of-concept CMP client on the NXP FRDM-K64F platform
Language:C1 0
5HT/gencmpclient
generic CMP [RFC 4210] client library and CLI, based on CMPforOpenSSL (https://github.com/mpeylo/cmpossl)
Language:C0 0
5HT/hal_sntp_monitor
Language:Erlang2 0
5HT/io
Io for .NET
Language:C#1 0
5HT/ironwail
High-performance QuakeSpasm fork
Language:C1 0
5HT/LightweightCmpRa
This project provides a Proof of Concept (PoC) implementation of the Lightweight CMP Profile for CMP [RFC 4210].
Language:Java1 0
5HT/min-caml-aarch64
Language:OCaml1 0
5HT/n2o-coq
N2O: Coq Application Server
Language:Coq1 0
5HT/o7.network
O7: Elixir Network
Language:HTML1 0
5HT/pkgsrc-wip
Work-in-progress packages for pkgsrc, the portable package system from NetBSD [mirror]
Language:Makefile1 0
5HT/protocol
NYNJA Protocol Specification
2 0
5HT/rosco_m68k
Design, documentation and software for the Really Old School Computer (M68K)
Language:C1 0
5HT/schemata
Language:Elixir0 0
5HT/sokhatsky.art
Олег Сохацький
Language:HTML2 0
5HT/som-tsp
Solving the Traveling Salesman Problem using Self-Organizing Maps
Language:Python1 0
5HT/tonpa.guru-1
🙏🏻 Гуру Намдак Тонпа
Language:HTML1 0
5HT/ulibasn1
ASN1 library for ulib apps
Language:Objective-C1 0