Pinned Repositories
.config
NeoVim configuration optimized for writing in LaTeX
.dotfiles
NixOS config
ModelChecker
A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.
OpenLogic
An open-source, customizable intermediate logic textbook
Revisions
Intro Logic
VSCodium
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
cmp-vimtex
Vimtex source for nvim-cmp.
nixpkgs
Nix Packages collection & NixOS
telescope-bibtex.nvim
A telescope.nvim extension to search and paste bibtex entries into your TeX files.
none-ls.nvim
null-ls.nvim reloaded / Use Neovim as a language server to inject LSP diagnostics, code actions, and more via Lua.
benbrastmckie's Repositories
benbrastmckie/.config
NeoVim configuration optimized for writing in LaTeX
benbrastmckie/ModelChecker
A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.
benbrastmckie/VSCodium
Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
benbrastmckie/OpenLogic
An open-source, customizable intermediate logic textbook
benbrastmckie/.dotfiles
NixOS config
benbrastmckie/Revisions
Intro Logic