Skip to content
Avatar

Achievements

Achievements

Highlights

  • Pro

Organizations

@JuliaTeX @AlgebraicJulia @tech-team-dragons
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.

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

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

Connect with me:

mehalter.com mehalter | LinkedIn


Languages and Tools:

Bash

CSS

GitHub

Go

HTML

Haskell

JavaScript

Julia

LaTeX

MySQL

Neovim

PostgreSQL

Python

SQL

Terminal

git




Recent Github Activity
  1. 🗣 Commented on #183 in kabinspace/AstroVim
  2. 🗣 Commented on #120 in simrat39/symbols-outline.nvim
  3. ❗️ Opened issue #120 in simrat39/symbols-outline.nvim
  4. 💪 Opened PR #182 in kabinspace/AstroVim
  5. 💪 Opened PR #181 in kabinspace/AstroVim
Github Stats mehalter's Github Stats
⁉️ octo-ring
Octo Ring logo
previousrandomnext
check out other GitHub profiles in the Octo Ring

Pinned

  1. Petri.jl Public

    A Petri net modeling framework for the Julia programming language

    Julia 27 2

  2. A framework for applied category theory in the Julia language

    Julia 418 37

  3. Build Petri net models compositionally

    Julia 38 7

  4. Relational Algebra, now with more algebra!

    Julia 30 1

  5. Self contained virtual environments for Julia.

    Julia 6

Contribution activity

March 2022

Created 5 repositories

Created a pull request in nvim-telescope/telescope-bibtex.nvim that received 24 comments

Added context aware bibliography lookup

I love this plugin and wanted it to be able to contextually figure out where the bibliography file is and only open the bibliography that is releva…

+184 −3 24 comments
Opened 43 other pull requests in 4 repositories
kabinspace/AstroVim 36 merged
20k-ultra/dotfiles 4 merged 1 closed
pipex/myconfig 1 merged
graphefruit/Beanconqueror 1 merged
Reviewed 3 pull requests in 2 repositories
kabinspace/AstroVim 2 pull requests
nvim-telescope/telescope-bibtex.nvim 1 pull request

Created an issue in kabinspace/AstroVim that received 3 comments

Web-devicon colors do not work if NvimTree lazy loading is turned off

When nvim-tree is not lazy loaded (which is necessary for the directory hijacking for something like nvim .) the web devicon colors do not show up …

3 comments
Opened 13 other issues in 6 repositories
1 contribution in private repositories Mar 7

Seeing something unexpected? Take a look at the GitHub profile guide.