na4zagin3
Interested in functional languages (Haskell, OCaml, Coq, &c) and natural languages (Ancient Greek, Georgian, Classical Chinese)
Indeed.com
Pinned Repositories
graph-llvm-ir
Rewritings of https://github.com/pfalcon/graph-llvm-ir with OCaml.
luatexja-sibu
LuaTeX Package for Typesetting Japanese with "Shibu-Ake Rule" (Quater-Em Spacing)
pgreek.vim
Easily-customizable Vim keymap for typing polytonic Greek.
plover_japanese_sokutaipu
The Sokutaipu Japanese Realtime stenography system for Plover. (WIP)
proof-overlay
overlay mainly for automated provers and formal method tools
public-slides
satyrographos
Package manager for SATySFi
satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
satyrographos-repo-alpha
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
satysfi-fss
Font Selection Scheme for SATySFi
na4zagin3's Repositories
na4zagin3/satyrographos
Package manager for SATySFi
na4zagin3/satyrographos-repo
Custom OPAM repository for SATySFi libraries managed by Satyrographos
na4zagin3/plover_japanese_sokutaipu
The Sokutaipu Japanese Realtime stenography system for Plover. (WIP)
na4zagin3/satyrographos-repo-alpha
Custom OPAM repository for SATySFi libraries compatible with the next major version of SATySFi
na4zagin3/Sprechen-Sie-Attisch
Digitalized "Sprechen Sie Attisch?" with LaTeX
na4zagin3/SATySFi-fonts-cormorant
SATySFi Font Package for Cormorant fonts
na4zagin3/SATySFi-fonts-junicode
SATySFi Font Package for Junicode
na4zagin3/SATySFi-fonts-theano
SATySFi Font Package for Alexey Kryukov's Theano Classical Fonts
na4zagin3/core
Jane Street Capital's standard library overlay
na4zagin3/dotfiles
na4zagin3/dziwqrim-dict-conv
na4zagin3/gentoo-haskell
official gentoo haskell overlay
na4zagin3/nixpkgs
Nix Packages collection & NixOS
na4zagin3/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
na4zagin3/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
na4zagin3/quail-hokkien.el
Quail Layouts for Hokkien Romanization (Pe̍h-ōe-jī)
na4zagin3/sandbox-scala-cross
Example project in Scala with cross-compile
na4zagin3/SATySFi
A statically-typed, functional typesetting system
na4zagin3/SATySFi-fonts-asana-math
SATySFi font package for Asana-Math fonts
na4zagin3/SATySFi-fonts-bodoni-star
na4zagin3/SATySFi-fonts-computer-modern-unicode
SATySFi font package for Computer Modern fonts
na4zagin3/SATySFi-fonts-noto-emoji
SATySFi font package for Noto Emoji fonts.
na4zagin3/SATySFi-fonts-noto-sans
SATySFi font package for Noto Sans fonts.
na4zagin3/SATySFi-fonts-noto-sans-cjk-jp
SATySFi Font Package for Noto Sans CJK JP fonts
na4zagin3/SATySFi-fonts-noto-sans-cjk-sc
SATySFi Font Package for Noto Sans CJK SC fonts
na4zagin3/SATySFi-fonts-noto-sans-mono
na4zagin3/SATySFi-fonts-noto-serif
SATySFi font package for Noto Serif fonts.
na4zagin3/SATySFi-fonts-noto-serif-cjk-jp
SATySFi Font Package for Noto Serif CJK JP fonts
na4zagin3/tc
na4zagin3/text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.