Ecosyste.ms: 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/avz
🔑 AVZ: Social Authorization
facebook github google microsoft
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/kvstore
a fast kvstore based on spdk programing framework
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/mumps
Automatically exported from code.google.com/p/gtmdarwin
Last synced: 04 Nov 2024
https://github.com/5ht/bertrand
🧊 Metamath система
formal-languages theorem-prover
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/semantic.vision
Энциклопедия Языков Программирования
Last synced: 21 Dec 2024