Skip to content


@synrc @erpuno @groupoid @longchenpa
Block or Report

Block or report 5HT

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse


Namdak Tönpa 🇺🇦

The real fun was:

  • Emeritus at Nyingma Longchen Nyingthig Ukraine for tibetan studies (2010—2016)
  • Emeritus at Groupoid Infinity for formalization of mathematics (2016—2022)

While these were mostly hard time works:

  • Author of N2O (2013—2022)
  • Author of ERP.UNO (2015—2022)
  • Author of Депозити ПриватБанк (2015—2016)
  • Author of APL L1-interpreter and SMP/AMP real-time zero-copy runtime (2016—2017)
  • Author of FORMAL.UNO Монографія (2017—2019)
  • Author of МІА: Документообіг (2019—2022)
  • Author of Anders: Modal HoTT Proof Assistant (2021—2022)

All my works are licensed under the terms of DHARMA LICENSE


  1. synrc/n2o Public

    N2O: Most Powerful Erlang Web Framework

    Erlang 1.3k 174

  2. 🧊 Чиста Система Типів з Всесвітами

    Pug 138 17

  3. synrc/kvs Public

    💿 KVS: NVMe Key-Value Store

    Erlang 170 45

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

    TeX 91 12

  5. synrc/bpe Public

    💠 BPE: BPMN Process Engine

    Erlang 234 59

  6. synrc/shen Public

    🐉 SHEN: Erlang JavaScript Compiler

    Erlang 232 24

2,780 contributions in the last year

Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Mon Wed Fri

Contribution activity

August 2022

21 contributions in private repositories Aug 1 – Aug 18

Seeing something unexpected? Take a look at the GitHub profile guide.