Skip to content
View mehalter's full-sized avatar




@JuliaTeX @AlgebraicJulia @tech-team-dragons @AstroNvim @knowledgebass @cape-ph
Block or Report

Block or report mehalter

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Hello, World! 👋

I have moved a lot of my personal projects off of GitHub to a personal Git. Checkout the rest of my portfolio at

  • 🔭 I’m currently working on using category theory to improve the representation of scientific knowledge and models
  • 💬 Ask me about the AstroNvim organization and our Neovim distribution and community
  • ⚡ Fun fact: I co-own Kindred Spirits Atlanta, a cocktail catering service in Atlanta, GA
  • 📫 My contact information can be found at


  1. AstroNvim/AstroNvim AstroNvim/AstroNvim Public

    AstroNvim is an aesthetic and feature-rich neovim config that is extensible and easy to use with a great set of plugins

    Lua 12.1k 915

  2. AstroNvim/astrocommunity AstroNvim/astrocommunity Public

    A community repository of common plugin specifications

    Lua 1k 204

  3. AstroNvim/astrotheme AstroNvim/astrotheme Public

    The default colorscheme used by AstroNvim

    Lua 88 17

  4. AstroNvim/user_example AstroNvim/user_example Public archive

    An example user configuration with a split up structure

    Lua 229 808

  5. AlgebraicJulia/Catlab.jl AlgebraicJulia/Catlab.jl Public

    A framework for applied category theory in the Julia language

    Julia 597 55

  6. AlgebraicJulia/AlgebraicPetri.jl AlgebraicJulia/AlgebraicPetri.jl Public

    Build Petri net models compositionally

    Julia 73 20