Benjamin Brast-McKie (@benbrastmckie)
github

benbrastmckie

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    312
  • Global Rank 86,263 (Top 3 %)
  • Followers 53
  • Following 8
  • Registered over 4 years ago
  • Most used languages
    Lua
         25.0 %
    TeX
         25.0 %
    Python
         25.0 %
    Nix
         25.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 5,214
  • Country Ranking
    Lua
         153
    Nix
         724
    TeX
         3,070

Top repositories

1

.config

NeoVim configuration optimized for writing in LaTeX
Lua
305
star
2

ModelChecker

A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.
Python
4
star
3

VSCodium

Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
TeX
2
star
4

.dotfiles

NixOS config
Nix
1
star