5HT/.emacs 5HT/.emacs

  • Stars
    star
    2
  • Language
    Emacs Lisp
  • Created over 12 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
5HT/.emacs
github

5HT

Reviews

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

Repository Details

My tiny .emacs file and emacs.d tree

More Repositories

1

fs

📁 FS: Windows, Linux, Mac Driver
Erlang
225
star
2

active

♾️ ACTIVE: Filesystem Activities
Erlang
66
star
3

avz

🔑 AVZ: Social Authorization
Erlang
41
star
4

gxemul

GXemul MIPS/ARM/SH/PPC/M88K emulator
C++
19
star
5

ant

🧊 Ant: A New TeX
OCaml
18
star
6

mq-nynja

💠 EMQ: N2O over MQTT for NYNJA 1.0
HTML
15
star
7

valery

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

wylie

Wylie UTF-8 Transcoder
Erlang
13
star
9

DependentLinearPi

A Dependently Typed Linear π-Calculus in Agda
Agda
13
star
10

a64

A64: ARM64 Assembler for Erlang
Erlang
11
star
11

5HT

Namdak Tonpa Personal Journal
HTML
5
star
12

nying.ma

Nyingma Digital Library
HTML
5
star
13

tcp

Simple TCP Server
Erlang
5
star
14

agda-nr-cats

(n,r)-categories in agda
Agda
4
star
15

streams

Abstract Stream Recording
Erlang
4
star
16

kvstore

a fast kvstore based on spdk programing framework
C
4
star
17

formal.uno-private

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

pub

🙏🏻 Digital Library Publishing System
Erlang
2
star
19

tcp.echo

F# N2O
F#
2
star
20

xt

Binary Editor
C
2
star
21

minitt

♾ Mini-TT: minimalistic ΠΣ-prover
Haskell
2
star
22

pdp11asm

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

5ht.cx.ua

Марки України
HTML
2
star
24

longchenpa.guru

HTML
1
star
25

nynpo

Nynpo Telegram Bot
Erlang
1
star
26

qdate

QDATE
Erlang
1
star
27

pie-editor

Erlang
1
star
28

msx

MSX DEPOT
C
1
star
29

mumps

Automatically exported from code.google.com/p/gtmdarwin
C
1
star
30

topology

Topology and Homotopy
Coq
1
star
31

eslang

Erlang S-Lang Binding
Erlang
1
star
32

vaio

VAIO PC
HTML
1
star
33

dnssec

DNSSEC: Library
Erlang
1
star
34

bertrand

🧊 Metamath система
OCaml
1
star
35

cos

💠 COS: China Ocean Shipping
Erlang
1
star
36

remote

N2O Remote Protocol
Erlang
1
star