Discover @5HT Open Source projects

Максим Сохацький (@5HT)

5HT

Stars
482
Global Rank 59,679 (Top 3 %)
Followers 380
Following 8
Registered about 15 years ago
Most used languages

Erlang
40.5 %

HTML
16.2 %

C
10.8 %

OCaml
8.1 %

C++
5.4 %

Agda 5.4 %

Haskell
2.7 %

Emacs Lisp
2.7 %

Coq 2.7 %

F#
2.7 %

TeX
2.7 %
Location 🇺🇦 Ukraine
Country Total Rank 331
Country Ranking

Agda 1

Coq 1

Erlang
2

OCaml
3

F#
18

Emacs Lisp
32

TeX
35

Haskell
43

HTML
75

C++
180

C
255

fs

📁 FS: Windows, Linux, Mac Driver

active

♾️ ACTIVE: Filesystem Activities

avz

🔑 AVZ: Social Authorization

gxemul

GXemul MIPS/ARM/SH/PPC/M88K emulator

ant

🧊 Ant: A New TeX

mq-nynja

💠 EMQ: N2O over MQTT for NYNJA 1.0

valery

🧊 Система типів HoTT-I з дефініціальним Path-β

wylie

Wylie UTF-8 Transcoder

DependentLinearPi

A Dependently Typed Linear π-Calculus in Agda

a64

A64: ARM64 Assembler for Erlang

5HT

Namdak Tonpa Personal Journal

nying.ma

Nyingma Digital Library

tcp

Simple TCP Server

agda-nr-cats

(n,r)-categories in agda

streams

Abstract Stream Recording

kvstore

a fast kvstore based on spdk programing framework

formal.uno-private

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

pub

🙏🏻 Digital Library Publishing System

tcp.echo

xt

.emacs

My tiny .emacs file and emacs.d tree

minitt

♾ Mini-TT: minimalistic ΠΣ-prover

pdp11asm

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

5ht.cx.ua

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

longchenpa.guru

nynpo

Nynpo Telegram Bot

qdate

pie-editor

msx

mumps

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

topology

Topology and Homotopy

eslang

Erlang S-Lang Binding

vaio

dnssec

DNSSEC: Library

bertrand

🧊 Metamath система

cos

💠 COS: China Ocean Shipping

remote

N2O Remote Protocol