Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by 5HT

A curated list of projects in awesome lists by 5HT .

https://github.com/5ht/fs

📁 FS: Windows, Linux, Mac Driver

linux mac windows

Last synced: 29 Mar 2025

https://github.com/5HT/fs

📁 FS: Windows, Linux, Mac Driver

linux mac windows

Last synced: 13 Mar 2025

https://github.com/5HT/active

♾️ ACTIVE: Filesystem Activities

mad mix

Last synced: 30 Mar 2025

https://github.com/5ht/active

♾️ ACTIVE: Filesystem Activities

mad mix

Last synced: 12 Dec 2025

https://github.com/5ht/avz

🔑 AVZ: Social Authorization

facebook github google microsoft

Last synced: 05 Jul 2025

https://github.com/5HT/mq-nynja

💠 EMQ: N2O over MQTT for NYNJA 1.0

erlang iot messaging mqtt websockets

Last synced: 09 May 2025

https://github.com/5ht/mq-nynja

💠 EMQ: N2O over MQTT for NYNJA 1.0

erlang iot messaging mqtt websockets

Last synced: 11 Dec 2025

https://github.com/5ht/dependentlinearpi

A Dependently Typed Linear π-Calculus in Agda

Last synced: 21 Jan 2026

https://github.com/5ht/a64

A64: ARM64 Assembler for Erlang

Last synced: 19 Mar 2025

https://github.com/5ht/per2

🧊 Автоматизована система доведення теорем на основі W-індукції

Last synced: 02 Jul 2025

https://github.com/5HT/per2

🧊 Автоматизована система доведення теорем на основі W-індукції

Last synced: 31 Jul 2025

https://github.com/5ht/tcp

Simple TCP Server

Last synced: 01 Aug 2025

https://github.com/5ht/5ht

Namdak Tonpa Personal Journal

Last synced: 27 Jan 2026

https://github.com/5ht/agda-nr-cats

(n,r)-categories in agda

Last synced: 21 Jan 2026

https://github.com/5ht/kvstore

a fast kvstore based on spdk programing framework

Last synced: 30 Jan 2026

https://github.com/5ht/nying.ma

Nyingma Digital Library

Last synced: 21 Jan 2026

https://github.com/5ht/streams

Abstract Stream Recording

Last synced: 11 Oct 2025

https://github.com/5ht/pie

Last synced: 02 Jul 2025

https://github.com/5ht/formal.uno-private

🧊 Перша Формальна Система

Last synced: 21 Jan 2026

https://github.com/5ht/pdp11asm

Assembler+C for PDP11 and KR1801VM1 (КР1801ВМ1 - БК0010, БК0011, УКНЦ) and also Intel 8080A

Last synced: 03 Apr 2025

https://github.com/5ht/.emacs

My tiny .emacs file and emacs.d tree

Last synced: 21 Jan 2026

https://github.com/5ht/tcp.echo

F# N2O

Last synced: 08 Apr 2025

https://github.com/5ht/5ht.cx.ua

Марки України

Last synced: 18 Feb 2026

https://github.com/5ht/mumps

Automatically exported from code.google.com/p/gtmdarwin

Last synced: 04 Mar 2026

https://github.com/BitEdits/vaio

VAIO PC

Last synced: 29 Oct 2025

https://github.com/5HT/pie

Last synced: 29 Oct 2025

https://github.com/5ht/msx-software

MSX DEPOT

Last synced: 05 Apr 2025

https://github.com/5ht/remote

N2O Remote Protocol

Last synced: 27 Jan 2026

https://github.com/5ht/5ht.github.io

Last synced: 03 Feb 2026

https://github.com/5ht/eslang

Erlang S-Lang Binding

Last synced: 03 Apr 2025

https://github.com/5ht/topology

Topology and Homotopy

Last synced: 08 Apr 2025

https://github.com/5ht/qdate

QDATE

Last synced: 08 Apr 2025

https://github.com/5ht/bertrand

🧊 Metamath система

formal-languages theorem-prover

Last synced: 08 Apr 2025

https://github.com/5ht/cos

💠 COS: China Ocean Shipping

Last synced: 12 Dec 2025

https://github.com/5ht/nynpo

Nynpo Telegram Bot

Last synced: 15 Oct 2025

https://github.com/5ht/ex

💧 EX: Exchange

Last synced: 11 Dec 2025

https://github.com/5ht/longchenpa.guru

Last synced: 18 Mar 2026

https://github.com/5ht/dnssec

DNSSEC: Library

Last synced: 10 Jan 2026

https://github.com/5ht/hyperbench

Wrk HTTP Benchmark

Last synced: 08 Apr 2025

https://github.com/5ht/n2o.js

node.js N2O relay

Last synced: 13 Oct 2025

https://github.com/5ht/sheaf.space

Presheaf/Prestack Model of Type Theory

Last synced: 21 Jan 2026

https://github.com/5ht/enterprizing.systems

Enterprizing Systems Site

Last synced: 08 Apr 2025

https://github.com/5ht/rocksdb

💠 RocksDB Stub

Last synced: 08 Apr 2025

https://github.com/5ht/spawn_node

LDAP Server Sample for Erlang Courses

Last synced: 08 Apr 2025

https://github.com/5ht/app

Two REVIEW applications with one N2O

Last synced: 09 Aug 2025

https://github.com/5ht/exe-archive

Last synced: 23 Jul 2025

https://github.com/5ht/etale.space

Differential Geometry

Last synced: 18 Mar 2026

https://github.com/5ht/semantic.vision

Энциклопедия Языков Программирования

Last synced: 14 Feb 2026

https://github.com/5ht/n2o.space

🌐 ERP¹ Mirror

Last synced: 06 Feb 2026

https://github.com/BitEdits/sokhatsky.art

Олег Сохацький

Last synced: 29 Oct 2025

https://github.com/5ht/archive.journal

Last synced: 20 Jan 2026

https://github.com/5ht/keylog

Keyboard and ThinkGear MindSet stream recorder

Last synced: 08 Apr 2025

https://github.com/5ht/hts.fs

Last synced: 08 Apr 2025

https://github.com/5ht/db

💠 DB Database Abstraction Layer

Last synced: 08 Apr 2025