mehalter

Follow

Micah Halter mehalter

Follow

I have moved all of my code off of GitHub and moved to a personal Git. Check out my projects and portfolio at https://code.mehalter.com.

223 followers · 11 following

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Highlights

Pro

Organizations

Block or Report

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 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:

Pinned

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 7.6k 501
AstroNvim/astrocommunity Public

A community repository of common plugin specifications

Lua 60 13
AstroNvim/astrotheme Public

The default colorscheme used by AstroNvim

Lua 11
AstroNvim/user_example Public template

An example user configuration with a split up structure

Lua 18 30
AlgebraicJulia/Catlab.jl Public

A framework for applied category theory in the Julia language

Julia 513 48
AlgebraicJulia/AlgebraicPetri.jl Public

Build Petri net models compositionally

Julia 62 15

2,798 contributions in the last year

Learn how we count contributions

Activity overview

Contributed to AstroNvim/AstroNvim, AstroNvim/astronvim.github.io, mehalter/AstroNvim_user and 98 other repositories

Contribution activity

March 2023

Created 135 commits in 15 repositories

Created 2 repositories

mehalter/this-week-in-neovim-contents Mar 13
mehalter/zsh-nvim-appname Shell Mar 6

Created a pull request in AstroNvim/astrocommunity that received 2 comments

refactor: add utilities to easily insert/extend lists with unique values

This utility function fixes some issues when it comes to using multiple packs at the same time that might provide the same language servers/linters…

+65 −38 • 2 comments

Opened 29 other pull requests in 11 repositories

AstroNvim/astrocommunity 10 merged

feat(bars-and-lines): add vs code style winbar recipe Mar 14
feat(color): add modes.nvim plugin Mar 13
Add a couple more language packs Mar 10
feat(pack): add markdown language pack Mar 9
feat(pack): add json language pack Mar 9
feat(pack): add lua language pack Mar 9
feat(pack): add bash language pack Mar 9
feat(pack): make language packs work without user intervention Mar 7
feat(pack): add Julia language pack Mar 6
fix: update to new user event based file lazy loading Mar 5

AstroNvim/AstroNvim 1 open 6 merged

AstroNvim Nightly Mar 14
AstroNvim v3.1.1 Nightly Mar 13
AstroNvim v3.1.0 Nightly Mar 12
fix(updater): fix rollback on stable releases Mar 11
AstroNvim v3.0.2 Nightly Mar 10
AstroNvim v3.0.1 Nightly Mar 10
AstroNvim v3.0 Nightly Mar 1

AlgebraicJulia/algebraicjulia.org 3 merged

AstroNvim/astrotheme 1 open 1 merged

AstroTheme Nightly Mar 12
feat: add astrotheme and allow setting palette from setup() Mar 9

phaazon/this-week-in-neovim-contents 1 merged

add AstroNvim v3 update Mar 13

AlgebraicJulia/Decapodes.jl 1 open

Adds ASKEM program integration workflow Mar 1

AlgebraicJulia/Semagrams.jl 1 merged

Add ASKEM Program Integration Workflow Mar 1

AlgebraicJulia/py-acsets 1 merged

Add ASKEM Program Integration workflow Mar 1

AlgebraicJulia/ASKEM-demos 1 merged

Add ASKEM program integration workflow Mar 1

AlgebraicJulia/Catlab.jl 1 merged

Add ASKEM program integration workflow Mar 1

AlgebraicJulia/AlgebraicPetri.jl 1 merged

Create .github/workflows/integration-issues.yml Mar 1

Reviewed 26 pull requests in 4 repositories

AstroNvim/astrocommunity 14 pull requests

fix: sentence structure Mar 14
fix(mini-ai): explicitly call setup() Mar 12
load flatten at start Mar 11
add more plugins Mar 11
feat(editing-support): add mini.splitjoin Mar 10
update venv to venv-selector Mar 9
feat(pack): add tsx to typescript pack Mar 9
feat(pack): add lua language pack Mar 9
fix(ccc): correct module path for highlighter Mar 7
fix(motion): fix portal keybinding and run setup Mar 6
fix(pack): using table.insert instead of list_extend on python dap Mar 4
7 more plugins Mar 4
Added regexplainer Mar 3
fix(pack): fix typescript language pack filetypes Mar 2

AlgebraicJulia/AlgebraicPetri.jl 5 pull requests

AstroNvim/astronvim.github.io 5 pull requests

Replace the unattended install command Mar 14
Fix neovim release link Mar 12
fix syntax error example codes Mar 10
docs(intro): Add LSP's to the reasons of why node is needed Mar 5
Fix some typos and wording in the V3 migration doc Mar 1

AstroNvim/user_example 2 pull requests

Update mappings to be compatible with AstroNvim v3 Mar 12
v3: diagnostics_mode & lua_ls fix Mar 10

Opened 1 issue in 1 repository

AlgebraicJulia/AlgebraicPetri.jl 1 closed

Test Issue Mar 1

Started 10 discussions in 2 repositories

AstroNvim/AstroNvim

v3.1.1
This contribution was made on Mar 13
v3.1.0
This contribution was made on Mar 13
v3.0.3
This contribution was made on Mar 11
v3.0.2
This contribution was made on Mar 11
v3.0.1
This contribution was made on Mar 10
v3.0.0
This contribution was made on Mar 10
AstroNvim v3.0 Nightly Release
This contribution was made on Mar 1

AstroNvim/astrocommunity

v1.2.0
This contribution was made on Mar 9
v1.1.0
This contribution was made on Mar 9
v1.0.0
This contribution was made on Mar 9

5 contributions in private repositories Mar 8 – Mar 9