A modern LaTeX Beamer theme

The expl3 (LaTeX3) Development Repository

An open-source, customizable intermediate logic textbook

A fresh implementation of Common Lisp

Beginner's guide for C++

Sans-serif font with Unicode math support

Visual Scala Reference

Software Design誌の連載「ハイパーバイザの作り方」の原稿公開用リポジトリ

A LaTeX beamer theme for the University of Antwerp

LaTeX jsclasses document classes adapted to any engines

Japanese translation for the "TeX Live Guide"

translate emacs/doc

markdown processor in TeX

XeLaTeX で和文する実験

Template for a simple thesis or dissertation (bachelor's, master's, Ph.D.) or technical report, in XeLaTeX.

LaTeX: Support for Japanese typesetting with pdfLaTeX and CJK package

LaTeX: Auxiliary settings for use of “Harano Aji Fonts” on (u)pLaTeX

LaTeX: Collection of small packages concerning Japanese typesetting

Yet Another \footnote

A fork from beamer-torino to fit JAIST color and some customization

lean4 formalisation of some results in automata theory

Formalización del Teorema de Existencia de Modelo en Isabelle/HOL