5HT

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

@groupoidKyiv, Ukraine

Pinned Repositories

active
♾️ ACTIVE: Filesystem Activities
Language:Erlang68 4 818
avz
🔑 AVZ: Social Authorization
Language:Erlang41 7 313
fs
📁 FS: Windows, Linux, Mac Driver
Language:Erlang236 7 3369
axio
🧊 Методологія верифікації теорем
Language:Pug93 13 111
groupoid.space
🧊 Інститут формальної математики
Language:TeX34 10 413
henk
🧊 Чиста система з всесвітами
Language:Erlang145 22 3516
laurent
🧊 Теорія типів для теорем математичного і функціонального аналізів
Language:OCaml41
bpe
💠 BPE: BPMN Process Engine ISO 19510
Language:Erlang268 25 1267
n2o
⭕ N2O: Distributed WebSocket Application Server ISO 20922
Language:Erlang1.3k 80 123168

5HT's Repositories

5HT/fs
📁 FS: Windows, Linux, Mac Driver
Language:Erlang236 7 3369
5HT/active
♾️ ACTIVE: Filesystem Activities
Language:Erlang68 4 818
5HT/5HT
Namdak Tonpa Personal Journal
Language:HTML5 8 09
5HT/5ht.cx.ua
Марки України
Language:HTML2 3 0
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/henk.rs
AUTOMATH-68 з синтаксисом Тьєррі Кокана
Language:Rust
5HT/LC475
Recreation of the Macintosh Performa/LC475 logicboard
5HT/lean-by-example
コード例で学ぶ Lean 言語
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.
Language:KiCad Layout0 0
5HT/per
ΠΣ: Теорія типів Мартіна-Льофа
Language:Rust0 0
5HT/pis-api-trusted
EHCS Patient Information System (Trusted Channels)
Language:API Blueprint
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
0 0
5HT/sokhatsky.art
Олег Сохацький
Language:HTML2 0
5HT/trs80-100-schematic
A transcript of the TRS80 Model 100 schematic
5HT/zen
Experimental operating system written in Zig