Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by 5HT

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

https://github.com/synrc/fs

📁 FS: Windows, Linux, Mac Driver

linux mac windows

Last synced: 10 Nov 2024

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

📁 FS: Windows, Linux, Mac Driver

linux mac windows

Last synced: 22 Dec 2024

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

📁 FS: Windows, Linux, Mac Driver

linux mac windows

Last synced: 25 Oct 2024

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

♾️ ACTIVE: Filesystem Activities

mad mix

Last synced: 01 Nov 2024

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

♾️ ACTIVE: Filesystem Activities

mad mix

Last synced: 16 Dec 2024

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

🔑 AVZ: Social Authorization

facebook github google microsoft

Last synced: 27 Oct 2024

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

🧊 Ant: A New TeX

Last synced: 27 Oct 2024

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

💠 EMQ: N2O over MQTT for NYNJA 1.0

erlang iot messaging mqtt websockets

Last synced: 01 Nov 2024

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

💠 EMQ: N2O over MQTT for NYNJA 1.0

erlang iot messaging mqtt websockets

Last synced: 15 Nov 2024

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

A Dependently Typed Linear π-Calculus in Agda

Last synced: 21 Dec 2024

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

A64: ARM64 Assembler for Erlang

Last synced: 27 Oct 2024

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

Simple TCP Server

Last synced: 27 Oct 2024

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

Nyingma Digital Library

Last synced: 21 Dec 2024

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

Namdak Tonpa Personal Journal

Last synced: 21 Dec 2024

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

Abstract Stream Recording

Last synced: 04 Nov 2024

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

a fast kvstore based on spdk programing framework

Last synced: 21 Dec 2024

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

(n,r)-categories in agda

Last synced: 21 Dec 2024

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

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

Last synced: 21 Dec 2024

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

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

Last synced: 21 Dec 2024

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

F# N2O

Last synced: 21 Dec 2024

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

My tiny .emacs file and emacs.d tree

Last synced: 21 Dec 2024

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

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

Last synced: 04 Nov 2024

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

MSX DEPOT

Last synced: 04 Nov 2024

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

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

Last synced: 04 Nov 2024

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

Erlang S-Lang Binding

Last synced: 04 Nov 2024

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

DNSSEC: Library

Last synced: 04 Nov 2024

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

N2O Remote Protocol

Last synced: 04 Nov 2024

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

Last synced: 21 Dec 2024

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

VAIO PC

Last synced: 21 Dec 2024

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

🧊 Metamath система

formal-languages theorem-prover

Last synced: 21 Dec 2024

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

Topology and Homotopy

Last synced: 21 Dec 2024

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

QDATE

Last synced: 21 Dec 2024

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

Nynpo Telegram Bot

Last synced: 21 Dec 2024

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

💠 COS: China Ocean Shipping

Last synced: 21 Dec 2024

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

💧 EX: Exchange

Last synced: 21 Dec 2024

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

Last synced: 21 Dec 2024

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

Differential Geometry

Last synced: 21 Dec 2024

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

node.js N2O relay

Last synced: 21 Dec 2024

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

🌐 ERP¹ Mirror

Last synced: 21 Dec 2024

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

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

Last synced: 21 Dec 2024

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

💠 DB Database Abstraction Layer

Last synced: 21 Dec 2024

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

Keyboard and ThinkGear MindSet stream recorder

Last synced: 21 Dec 2024

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

Wrk HTTP Benchmark

Last synced: 21 Dec 2024

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

Enterprizing Systems Site

Last synced: 21 Dec 2024

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

Last synced: 21 Dec 2024

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

Two REVIEW applications with one N2O

Last synced: 21 Dec 2024

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

LDAP Server Sample for Erlang Courses

Last synced: 21 Dec 2024

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

Last synced: 21 Dec 2024

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

💠 RocksDB Stub

Last synced: 21 Dec 2024

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

Presheaf/Prestack Model of Type Theory

Last synced: 21 Dec 2024

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

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

Last synced: 21 Dec 2024

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

Last synced: 21 Dec 2024