Magnus Ericsson

active. ♾️ ACTIVE: Filesystem Activities

avz. 🔑 AVZ: Social Authorization

DependentLinearPi. A Dependently Typed Linear π-Calculus in Agda

mq-nynja. 💠 EMQ: N2O over MQTT for NYNJA 1.0

a64. A64: ARM64 Assembler for Erlang

per. 🧊 Автоматизована система доведення теорем на основі W-індукції

tcp. Simple TCP Server

nying.ma. Nyingma Digital Library

pie. Erlang

kvstore. a fast kvstore based on spdk programing framework

streams. Abstract Stream Recording

agda-nr-cats. (n,r)-categories in agda

formal.uno-private. 🧊 Перша Формальна Система

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

.emacs. My tiny .emacs file and emacs.d tree

5ht.cx.ua. Марки України

tcp.echo. F# N2O

games. SVG WebSockets N2O Example

remote. N2O Remote Protocol

dnssec. DNSSEC: Library

qdate. QDATE

topology. Topology and Homotopy

cos. 💠 COS: China Ocean Shipping

msx-software. MSX DEPOT