GitHub - strogo/5HT: Namdak Tonpa Personal Journal

Namdak Tonpa

The real fun was:

Emeritus at Nyingma Longchen Nyingthig Ukraine longchenpa.guru for tibetan studies
Emeritus at Groupoid Infinity groupoid.space/institute for formalization of mathematics

While these were mostly hard time works:

Author of APL L1-interpreter and SMP/AMP real-time zero-copy runtime platform.rs
Author of N2O n2o.dev
Author of ERP.UNO erp.uno
Author of FORMAL.UNO formal.uno
Author of Депозити ПриватБанк deposits.privatbank.ua
Author of МІА:Документообіг crm.erp.uno

Name		Name	Last commit message	Last commit date
Latest commit History 872 Commits
cv		cv
dharma		dharma
dxd		dxd
exe		exe
img		img
kernel		kernel
md		md
mqtt		mqtt
pdp-11		pdp-11
tristellar		tristellar
404.html		404.html
51.pdf		51.pdf
5HT.css		5HT.css
5ht.co.css		5ht.co.css
BUDDHA.svg		BUDDHA.svg
CARD-1.svg		CARD-1.svg
CARD-2.svg		CARD-2.svg
CARD-COLOR-FUN.pdf		CARD-COLOR-FUN.pdf
CARD-COLOR.pdf		CARD-COLOR.pdf
CARD-COLOR.sketch		CARD-COLOR.sketch
CARD-LN.pdf		CARD-LN.pdf
CARD-LN.sketch		CARD-LN.sketch
CARD-LN.svg		CARD-LN.svg
CARD-MONO.pdf		CARD-MONO.pdf
CARD-MONO.sketch		CARD-MONO.sketch
CARD-SKYBACK.svg		CARD-SKYBACK.svg
CARD.svg		CARD.svg
CNAME		CNAME
FiraCode-Regular.otf		FiraCode-Regular.otf
Geometria-Light.otf		Geometria-Light.otf
README.md		README.md
SourceCodePro-Light.otf		SourceCodePro-Light.otf
SourceCodePro-Regular.otf		SourceCodePro-Regular.otf
Stamp.svg		Stamp.svg
Untitled Diagram.drawio		Untitled Diagram.drawio
blank.css		blank.css
bpe.htm		bpe.htm
card.htm		card.htm
card.html		card.html
cards.htm		cards.htm
cctt.pdf		cctt.pdf
certification.htm		certification.htm
completeness.pdf		completeness.pdf
cubical.pdf		cubical.pdf
cubicaltt.pdf		cubicaltt.pdf
data.rss		data.rss
exe.htm		exe.htm
exe.idr		exe.idr
exe.lean		exe.lean
exe.svg		exe.svg
fibrations.pdf		fibrations.pdf
ftp.htm		ftp.htm
funding.htm		funding.htm
game.htm		game.htm
gen_server.htm		gen_server.htm
groupoid.pdf		groupoid.pdf
history.htm		history.htm
hott-1.pdf		hott-1.pdf
hott-2.pdf		hott-2.pdf
hott.pdf		hott.pdf
index.html		index.html
kernel.htm		kernel.htm
l.htm		l.htm
ldap.htm		ldap.htm
license.htm		license.htm
ling.htm		ling.htm
longroad.pdf		longroad.pdf
martinliof_p_ocherki_po_konstruktivnoi_matematike.djvu		martinliof_p_ocherki_po_konstruktivnoi_matematike.djvu
matching.pdf		matching.pdf
me.jpg		me.jpg
mltt.pdf		mltt.pdf
mqtt.htm		mqtt.htm
n2o-roger.svg		n2o-roger.svg
n2o.htm		n2o.htm
new.css		new.css
p54-coquand.pdf		p54-coquand.pdf
pts.pdf		pts.pdf
remote.htm		remote.htm
review.htm		review.htm
spawnproc.htm		spawnproc.htm
synrc.css		synrc.css
synrc.tex		synrc.tex
three.pdf		three.pdf
twitter-ban-list.csv		twitter-ban-list.csv
twitter.ban		twitter.ban
voxoz.htm		voxoz.htm
web.htm		web.htm

License

strogo/5HT

Folders and files

Latest commit

History