5HT/.emacs

Stars
2
Language
Emacs Lisp
Created almost 12 years ago
Updated over 7 years ago

5HT/.emacs

5HT

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My tiny .emacs file and emacs.d tree

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

tcp

Simple TCP Server

nying.ma

Nyingma Digital Library

5HT

Namdak Tonpa Personal Journal

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

minitt

♾ Mini-TT: minimalistic ΠΣ-prover

pdp11asm

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

5ht.cx.ua

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

n2o.cloud

🌐 N2O.CLOUD: Application Instances

longchenpa.guru

qdate

nynpo

Nynpo Telegram Bot

pie-editor

topology

Topology and Homotopy

msx

mumps

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

eslang

Erlang S-Lang Binding

vaio

bertrand

🧊 Metamath система

cos

💠 COS: China Ocean Shipping

remote

N2O Remote Protocol