na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
Repositories
Select a repository to view its commits, contributors, and more.satyrographos
Package manager for SATySFi
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
plover_japanese_sokutaipu
The Sokutaipu Japanese Realtime stenography system for Plover. (WIP)
satysfi-fss
Font Selection Scheme for SATySFi
proof-overlay
overlay mainly for automated provers and formal method tools
satyrographos-repo-alpha
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
pgreek.vim
Easily-customizable Vim keymap for typing polytonic Greek.
public-slides
Sprechen-Sie-Attisch
Digitalized "Sprechen Sie Attisch?" with LaTeX
luatexja-sibu
LuaTeX Package for Typesetting Japanese with "Shibu-Ake Rule" (Quater-Em Spacing)
graph-llvm-ir
Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml.
SATySFi-fonts-cormorant
SATySFi Font Package for Cormorant fonts