boolanger

Pinned Repositories

• alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust00

• Coqtail

  Interactive Coq Proofs in Vim

  Language:Python00

• GoedelGod

  Formalizations of Gödel's Ontological Proof of God's Existence

  Language:TeX00

• vimtex

  VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

  Language:TeX5.5k391

• maple-font

  [try V7!] Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font for IDE and command line. 带连字和控制台图标的圆角等宽字体，中英文宽度完美2:1

  Language:Python4.8k72

boolanger's Repositories