5HT

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

@synrcKyiv, Ukraine

Pinned Repositories

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

5HT's Repositories

5HT/fs
📁 FS: Windows, Linux, Mac Driver
Language:Erlang237 8 3369
5HT/active
♾️ ACTIVE: Filesystem Activities
Language:Erlang68 5 818
5HT/5HT
Namdak Tonpa Personal Journal
Language:HTML5 8 09
5HT/5ht.cx.ua
Марки України
Language:HTML2 3 0
5HT/dnssec
DNSSEC: Library
Language:Erlang1 2 01
5HT/A-one-286
A One 286 Replika
5HT/asn1
💧 ASN.1: Swift Code Generation Compiler
Language:Elixir0 0
5HT/asn1.ts
Zero-copy ASN.1 and DER coding 🏎️
Language:TypeScript1 0
5HT/atx-turboxt-v3
A new ATX design of an XT compatible PC mainboard
0 0
5HT/bit-preserve
Project for capturing vintage, classic, aka old computer schematics in KiCad.
5HT/ca
🛡️ CA: Certificate Authority
Language:Erlang1 01
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/cubical-classics
An attempt towards univalent classical mathematics in Cubical Agda.
Language:Agda1 0
5HT/gencmpclient
generic CMP [RFC 4210] client library and CLI, based on CMPforOpenSSL (https://github.com/mpeylo/cmpossl)
Language:C1 0
5HT/hal_sntp_monitor
Language:Erlang2 0
5HT/LC475
Recreation of the Macintosh Performa/LC475 logicboard
5HT/LightweightCmpRa
This project provides a Proof of Concept (PoC) implementation of the Lightweight CMP Profile for CMP [RFC 4210].
Language:Java1 0
5HT/M396F-Replika
PCChips M396F V2.7 Replika
5HT/min-caml-aarch64
Language:OCaml1 0
5HT/Model_T_RAM
8K RAM module for "Model T Computers" - TRS-80 Model 100, Kyotronic KC-85, NEC PC-8201, Olivetti M10
5HT/omega
Omega Home Computer
5HT/pc-kharon-386
Tiny IBM PC compatible machine with 386 CPU, integrated VGA and sound.
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/SCHEMATIC-RTD2660H
SCHEMATICAL OF THE PCB800099 SCREEN DRIVER with the RTD2660 chip, the driver part has been tested and works, only the audio amplifier and the stm32 have not been tested yet.
5HT/SE30
Macintosh SE/30 logicboard recreation
5HT/sokhatsky.art
Олег Сохацький
Language:HTML2 0
5HT/tonpa.guru-1
🙏🏻 Гуру Намдак Тонпа
Language:HTML1 0
5HT/trs80-100-schematic
A transcript of the TRS80 Model 100 schematic