{"id":29204848,"url":"https://github.com/5ht/5ht.github.io","last_synced_at":"2026-02-03T13:03:44.058Z","repository":{"id":297750228,"uuid":"997790547","full_name":"5HT/5ht.github.io","owner":"5HT","description":null,"archived":false,"fork":false,"pushed_at":"2025-06-22T19:24:54.000Z","size":31,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-07-02T15:51:00.254Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://5ht.github.io/","language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/5HT.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2025-06-07T07:26:58.000Z","updated_at":"2025-06-22T19:24:57.000Z","dependencies_parsed_at":"2025-07-02T15:39:46.576Z","dependency_job_id":"01373a0a-0782-45e0-b256-731ff45b8db8","html_url":"https://github.com/5HT/5ht.github.io","commit_stats":null,"previous_names":["5ht/5ht.github.io"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/5HT/5ht.github.io","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5HT%2F5ht.github.io","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5HT%2F5ht.github.io/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5HT%2F5ht.github.io/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5HT%2F5ht.github.io/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/5HT","download_url":"https://codeload.github.com/5HT/5ht.github.io/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5HT%2F5ht.github.io/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29046503,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-03T10:09:22.136Z","status":"ssl_error","status_checked_at":"2026-02-03T10:09:16.814Z","response_time":96,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.6:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-07-02T15:37:05.240Z","updated_at":"2026-02-03T13:03:41.887Z","avatar_url":"https://github.com/5HT.png","language":null,"readme":"\u003caside\u003e\n    \u003carticle\u003e\n        \u003csection\u003e\n            \u003ch3\u003eLEGAL\u003c/h3\u003e\n            \u003cdiv\u003eCopyright \u0026copy; \u003ca href=\"https://tonpa.guru/\"\u003eNamdak Tonpa\u003c/a\u003e\u003c/div\u003e\u003cbr\u003e\n            \u003cdiv\u003ePermission to use, copy, modify, and/or distribute this software\n                 for any purpose with or without fee is hereby granted, provided\n                 that the above copyright notice and this permission notice appear in all copies.\n            \u003c/div\u003e\n        \u003c/section\u003e\n        \u003csection\u003e\n            \u003ch3\u003ePERMISSION NOTICE\u003c/h3\u003e\n            \u003cdiv\u003e\n                 YOU CANNOT USE THIS SOFTWARE IN ANY (PROVABLE BY MONEY TRACE)\n                 PROCESS CHAIN OF EXTERMINATING UKRAINIANS BY ANY MEANS\n                 OF FASCIST ACTIONS AGAINST OUR TERRITORIAL INTEGRITY,\n                 CULTURAL DIVERSITY BY APPLYING MILITARY INVASIONS,\n                 ECONOMICAL WARS, HUMANITARIAN DISASTERS, ARTFICIAL HOLODOMORS,\n                 GENOCIDE, RAPING, LOOTING, ROBBERIES, SPREADING FAKE INFORMATION,\n                 AND OTHER CONTEMPORARY WEAPONS OF WAR AT SCALE OR IN INVIDIVUAL MANNER.\n            \u003c/div\u003e\u003cbr\u003e\n            \u003cdiv style=\"font-size:16px;margin:10px;background:black;color:white;\"\u003e\n                 𝗦𝗧𝗢𝗣 𝗞𝗜𝗟𝗟𝗜𝗡𝗚 𝗨𝗞𝗥𝗔𝗜𝗡𝗜𝗔𝗡𝗦, 𝗧𝗛𝗘 𝗖𝗢𝗨𝗡𝗧𝗘𝗥 𝗥𝗘𝗡𝗗𝗘𝗥𝗦 𝗧𝗘𝗡𝗦 𝗢𝗙 𝗠𝗜𝗟𝗟𝗜𝗢𝗡𝗦.\n            \u003c/div\u003e\u003cbr\u003e\n            \u003cdiv\u003e\n                 YOU CANNOT USE THIS SOFTWARE BY ANY MEANS IN INTEREST OF LEGAL\n                 ENTITIES OR INDIVIDUALS WHO IS SUPPORTING NOW OR WAS SUPPORTING\n                 BACK THEN FASCISM, RUSCISM, COMMUNISM, CHAUVINISM, HUMILIATION,\n                 AND OTHER SUPPRESSIVE IDEOLOGIES IN DIFFERENT EXPRESSIONS.\u003cbr\u003e\u003cbr\u003e\n            \u003c/div\u003e\n        \u003c/section\u003e\n    \u003c/article\u003e\n\u003c/aside\u003e\n\u003cmain\u003e\n    \u003csection\u003e\n        \u003cp\u003e THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES\n            WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF\n            MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR\n            ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES\n            WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN\n            ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF\n            OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.\n        \u003c/p\u003e\n            \u003cdiv align=center\u003e\u003cimg src=\"https://5HT.co/BUDDHA.svg\" width=100\u003e\u003c/div\u003e\n    \u003c/section\u003e\n\u003c/main\u003e\n\n# Контакти\n\n* GSM: +380676631870.\n* Github: \u003ca rel=\"me\" href=\"https://github.com/5HT\"\u003e@5HT\u003c/a\u003e.\n* Ukrainian Mathematical Mastodon: \u003ca rel=\"me\" href=\"https://twiukraine.com/@5HT\"\u003e@5HT\u003c/a\u003e.\n* International Mathematical Mastodon: \u003ca rel=\"me\" href=\"https://mathstodon.xyz/@5ht\"\u003e@5HT\u003c/a\u003e.\n* StackExchange: \u003ca href=\"https://proofassistants.stackexchange.com/users/197/\"\u003eusers/197\u003c/a\u003e.\n* ORCID: \u003ca href=\"https://orcid.org/0000-0001-7127-8796\"\u003e0000-0001-7127-8796\u003c/a\u003e.\n* SCOPUS: \u003ca href=\"https://www.scopus.com/authid/detail.uri?authorId=57214352719\"\u003e57214352719\u003c/a\u003e.\n* ResearchGate: \u003ca href=\"https://www.researchgate.net/profile/Maksym-Sokhatskyi\"\u003eMaksym-Sokhatskyi\u003c/a\u003e.\n\n# Афіліації\n\n* Архітектурна компанія Максима Сохацького «SYNRC» \u003ca href=\"https://synrc.com\"\u003esynrc.com\u003c/a\u003e, Технічний директор (2005—2025)\n* Релігійна організація «Лонгчен Нінгтік Україна» \u003ca href=\"https://longchenpa.guru\"\u003elongchenpa.guru\u003c/a\u003e, Директор (2011—2025)\n* Інститут формальної математики «Групоїд Інфініті» \u003ca href=\"https://groupoid.space/institute/\"\u003egroupoid.space\u003c/a\u003e, Старший науковий дослідник (2017)\n* Видавництво «Аксіосис» \u003ca href=\"https://axiosis.top\"\u003eaxiosis.top\u003c/a\u003e, Головний редактор (2022—2025)\n* ПриватБанк \u003ca href=\"https://pb.ua\"\u003epb.ua\u003c/a\u003e, Архітектор (2015-2016)\n* Державна ІТ-компанія «ІНФОТЕХ» \u003ca href=\"https://infotech.gov.ua\"\u003einfotech.gov.ua\u003c/a\u003e, Провідний інженер-програміст (2019—2023)\n* Державна ІТ-компанія «Електронне здоров'я» \u003ca href=\"https://ehealth.gov.ua\"\u003eehealth.gov.ua\u003c/a\u003e, Керівник відділу системного аналізу (2024)\n\n# Авторські твори\n\n* Автор N2O.DEV \u003ca href=\"https://n2o.dev\"\u003en2o.dev\u003c/a\u003e (2013—2024) Перша телекомунікаційна система. Сайнерсі Україна\n* Автор ERP.UNO \u003ca href=\"https://erp.uno\"\u003eerp.uno\u003c/a\u003e (2005—2024) Перша державна система. ERP/1\n* Автор «Депозитів ПриватБанк» \u003ca href=\"https://deposits.privatbank.ua/static/doc/index.htm\"\u003edeposits.privatbank.ua\u003c/a\u003e (2015—2016)\n* Автор SMP/AMP операційної системи та APL мови програмування для HFT трейдингу \u003ca href=\"https://github.com/o83/n2o\"\u003eplatform.rs\u003c/a\u003e (2016—2017)\n* Автор першої формальної системи \u003ca href=\"https://axio.groupoid.space\"\u003eaxio.groupoid.space\u003c/a\u003e (2017—2019) \n* Автор «МІА: Документообіг» МВС України \u003ca href=\"https://crm.erp.uno\"\u003ecrm.erp.uno\u003c/a\u003e (2019—2022) CRM, X.509 система\n* Автор модальної гомотопічної системи доведення теорем «Андерс» \u003ca href=\"https://anders.groupoid.space\"\u003eanders.groupoid.space\u003c/a\u003e (2021—2022)\n* Автор інтерактивного дизасемблера BE \u003ca href=\"https://be.5ht.co\"\u003ebe.5ht.co\u003c/a\u003e EM64T, ARM64, RISC-V, SH-4, MIPS, PowerPC, M68K, PDP-11 (2022)\n* Автор філателістичного архіву Укрпошти \u003ca href=\"https://5ht.github.io/5ht.cx.ua/\"\u003e5ht.cx.ua\u003c/a\u003e (2023)\n* Автор повного ASN.1 DER компілятора в мову програмування Swift \u003ca href=\"https://asn1.erp.uno\"\u003easn1.erp.uno\u003c/a\u003e DER, Swift, Elixir (2023)\n* Автор проєкту захищеного месенжера \u003ca href=\"https://chat.erp.uno\"\u003echat.erp.uno\u003c/a\u003e DER, Swift, Elixir (2023)\n* Автор FHIR сервера \u003ca href=\"https://hl7.erp.uno\"\u003ehl7.erp.uno\u003c/a\u003e (2023)\n* Автор PKI X.509 сервера Authority \u003ca href=\"https://authority.erp.uno\"\u003eauthority.erp.uno\u003c/a\u003e (2024) для \u003ca href=\"https://github.com/arvo-computer/\"\u003eAR.VO Computer\u003c/a\u003e\n* Автор ретро-енциклопедії «Компіки Сохацького» \u003ca href=\"https://computer.5ht.co\"\u003ecomputer.5ht.co\u003c/a\u003e (2019—2025)\n* Автор Sokhatsky Commander \u003ca href=\"https://sc.5ht.co\"\u003esc.5ht.co\u003c/a\u003e (2025)\n* Автор тактичного прувера для матаналізу «Лоран» \u003ca href=\"https://laurent.groupoid.space\"\u003elaurent.groupoid.space\u003c/a\u003e (2025)\n* Автор прувера для квантової мови TED-K «Урс» \u003ca href=\"https://urs.groupoid.space\"\u003eurs.groupoid.space\u003c/a\u003e (2025)\n* Автор періодичного видання «Групоїд Інфініті» (звіт результатів) \u003ca href=\"https://groupoid.space\"\u003egroupoid.space\u003c/a\u003e (2025)\n\n# Книги та монографії\n\n1. ISBN: 978-1-62540-054-3 \u003ca href=\"https://axiosis.github.io/books/nendro/nendro.pdf\"\u003eНьондро Лонгчен Нінгтік\u003c/a\u003e\n2. ISBN: 978-617-8027-10-0 \u003ca href=\"https://axiosis.github.io/books/monk/monk.pdf\"\u003eБожевільний монах\u003c/a\u003e\n3. ISBN: 978-617-8027-23-1 \u003ca href=\"https://axiosis.github.io/books/fp/fp.pdf\"\u003eФормальна філософія FP/1\u003c/a\u003e\n4. ISBN: 978-617-8027-27-8 \u003ca href=\"https://axiosis.github.io/books/top/top.pdf\"\u003eТоповий програміст\u003c/a\u003e\n5. ISBN: 978-617-8027-08-7 \u003ca href=\"https://axiosis.github.io/books/axio/axio.pdf\"\u003eПерша формальна система AXIO/1\u003c/a\u003e\n6. ISBN: 978-617-8027-23-0 \u003ca href=\"https://axiosis.github.io/books/erp/erp.pdf\"\u003eПерша державна система ERP/1\u003c/a\u003e\n7. ISBN: 978-617-8027-07-0 \u003ca href=\"https://axiosis.github.io/books/azov/idea.pdf\"\u003eІдея Нації\u003c/a\u003e\n8. ISBN: 978-617-8027-23-1 Заповіт\n\n# Статті на нариси\n\n6. DOI: 10.13140/RG.2.2.27432.24327 \u003ca href=\"https://n2o.dev/ua/books/vol.2/index.html\"\u003eФреймворк для підприємств ISO 20922\u003c/a\u003e. 2013\n7. DOI: 10.13140/RG.2.2.20721.35682 \u003ca href=\"https://n2o.dev/ua/books/vol.3/index.html\"\u003eСистема управління процесами ISO 19510\u003c/a\u003e. 2015\n8. DOI: 10.13140/RG.2.2.34143.12963 \u003ca href=\"https://axiosis.github.io/articles/henk/pts_ua.pdf\"\u003eОдноаксіоматична система верифікації ПЗ\u003c/a\u003e. 2017\n9. DOI: 10.13140/RG.2.2.25754.52169 \u003ca href=\"https://axiosis.github.io/articles/per/anno_ua.pdf\"\u003eМінімальна система для вбудовування MLTT\u003c/a\u003e. 2018\n10. DOI: 10.13140/RG.2.2.19043.63523 \u003ca href=\"https://axiosis.github.io/articles/bloch/quantum.pdf\"\u003eМова для квантових комп'ютерів PLQ\u003c/a\u003e. 2019\n11. DOI: 10.13140/RG.2.2.14010.47045 \u003ca href=\"https://axiosis.github.io/articles/anders/anders.pdf\"\u003eМодальна гомотопічна мова математики HTS\u003c/a\u003e. 2021\n\n# Розповсюдження\n\nШоб подивитися і оцінити що таке http://n2o.dev та http://erp.uno достатньо скачати http://5ht.co/synrc.sh,\nhttp://5ht.co/erpuno.sh і запустити їх! Для інших організацій: http://5ht.co/axisosis.sh, http://5ht.co/longchenpa.sh,\nhttp://5ht.co/groupoid.sh, http://5ht.co/asmedit.sh. Загалом, разом з .git папками треба звільнити на диску 4ГБ:\n\n```\n5HT@STELLAR:~/depot$ tree -L 1 .\n.\n├── bitedits\n├── axiosis\n├── erpuno\n├── groupoid\n├── longchenpa\n└── synrc\n\n6 directories, 0 files\n5HT@STELLAR:~/depot$ du -hs ..\n3,8G\n```\n\n# Ліцензія\n\nВсі мої твори видані під ліцензією \u003ca href=\"https://5ht.co/license/\"\u003eDHARMA LICENSE\u003c/a\u003e\n\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F5ht%2F5ht.github.io","html_url":"https://awesome.ecosyste.ms/projects/github.com%2F5ht%2F5ht.github.io","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2F5ht%2F5ht.github.io/lists"}