hbshim Goto Github PK

.config-nixpkgs

auctex

cloned from "https://git.savannah.gnu.org/git/auctex.git/" for personal customization

auto-read-only.el

Automatically make the buffer to read-only

cal-korea-x

Emacs Korean Calendar Extras: Korean-localized calendar

config-for-bash-and-x

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

emacs-conf-and-pkgs

my emacs config file and the pkg dir

gitignore

A collection of useful .gitignore templates

hbshim.github.io

hott

Homotopy type theory

hott-book

A textbook on informal homotopy type theory

karabiner-config

my karabiner config (complex modification) file for emacs keybindings for macos

markdown-mode

Emacs Markdown Mode

math-comp

Mathematical Components

mathjax

Beautiful math in all browsers

mathjax-xyjax

Xy-pic extension for MathJax

mediawiki

The collaborative editing software that runs Wikipedia.

mediawiki-lfhidesidebar

originally from https://www.mediawiki.org/wiki/Manual:Interface/Sidebar for hiding/configuring sidebar for anonymous users

mediawiki-mathjax

Archived mediawiki extension: https://www.mediawiki.org/w/index.php?title=Extension:MathJax&oldid=1184913

mediawiki-skins-vector

Github mirror of "mediawiki/skins/Vector" - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_access for contributing

merlin

Context sensitive completion for OCaml in Vim and Emacs

neo4jd3

Neo4j graph visualization using D3.js

obsidian.el

Obsidian Notes for Emacs

ocaml

The core OCaml system: compilers, runtime system, base libraries

practice

qldired

macos quicklook for emacs dired-mode

sga4.5

Pierre Deligne's SGA 4 1/2

simplemathjax

tuareg

Emacs OCaml mode

typo.el

Emacs extension for typographical editing