Skip to content
@mimir

MimIR

MimIR is my Intermediate Representation
README.md

Pinned Loading

  1. mimir mimir Public

    MimIR is my Intermediate Representation

    C++ 143 25

  2. plugins plugins Public

    MimIR Plugin Registry

    Makefile 2 2

Repositories

Showing 7 of 7 repositories
  • mimir.github.io Public

    webpage

    mimir/mimir.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Sep 20, 2026
  • mimir Public

    MimIR is my Intermediate Representation

    mimir/mimir's past year of commit activity
    C++ 143 MIT 25 7 7 Updated Sep 20, 2026
  • tree-sitter-mim Public

    Tree-Sitter Parser for Mim

    mimir/tree-sitter-mim's past year of commit activity
    HTML 0 0 0 0 Updated Sep 20, 2026
  • vim-mim Public

    (Neo)Vim plugin for Mim

    mimir/vim-mim's past year of commit activity
    Vim Script 0 MIT 0 0 0 Updated Sep 20, 2026
  • mean Public

    MimIR in Lean

    mimir/mean's past year of commit activity
    Lean 3 0 0 0 Updated Sep 17, 2026
  • .github Public

    MimIR organization landing page

    mimir/.github's past year of commit activity
    0 MIT 0 0 0 Updated Jul 8, 2026
  • plugins Public

    MimIR Plugin Registry

    mimir/plugins's past year of commit activity
    Makefile 2 MIT 2 0 0 Updated May 7, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…