Skip to content
View mehalter's full-sized avatar

Sponsors

@karlivory

Highlights

  • Pro

Organizations

@JuliaTeX @AlgebraicJulia @tech-team-dragons @AstroNvim @knowledgebass @mason-org @cape-ph

Block or report mehalter

Report abuse

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

Report abuse
mehalter/README.md

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 code.mehalter.com

  • 🔭 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 mehalter.com


Pinned Loading

  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 13.2k 946

  2. zsh-nvim-appname zsh-nvim-appname Public

    A simple ZSH plugin for maintaining multiple Neovim configurations with NVIM_APPNAME

    Shell 26 2

  3. AstroNvim/astrocommunity AstroNvim/astrocommunity Public

    A community repository of common plugin specifications

    Lua 1.4k 264

  4. AstroNvim/template AstroNvim/template Public template

    AstroNvim template

    Lua 128 242

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

    A framework for applied category theory in the Julia language

    Julia 640 58

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

    Build Petri net models compositionally

    Julia 82 21