GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • mimir
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — MimIR

README.md

MimIR

MimIR is a modular compiler infrastructure built on a pure, dependently-typed intermediate representation (IR) designed for clarity, composability, and optimization.

Learn More

  • 📖 Full documentation → mimir.github.io
  • 🔌 Plugin registry → MimIR Plugin Registry
  • 💻 MimIR repository → mimir/mimir
  • 🧾 Mean repository → mimir/mean

Quick Links

  • MimIR Playground
  • A Tour of MimIR
  • Mim CLI
  • Building & Testing
  • Plugin Development

Pinned Loading

  1. mimir mimir Public

    MimIR is my Intermediate Representation

    C++ 154 31

  2. plugins plugins Public

    MimIR Plugin Registry

    Makefile 2 2

Repositories

Loading
Type
Language
Sort
Showing 8 of 8 repositories
  • mimir Public

    MimIR is my Intermediate Representation

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/mimir's past year of commit activity
    C++ 154 MIT 31 9 7 Updated Nov 10, 2026
  • mimir.github.io Public

    webpage

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/mimir.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Nov 7, 2026
  • tree-sitter-mim-vscode Public Forked from AlecGhost/tree-sitter-vscode

    Bring the power of Tree-sitter to VSCode

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/tree-sitter-mim-vscode's past year of commit activity
    TypeScript 0 Apache-2.0 12 0 0 Updated Oct 20, 2026
  • tree-sitter-mim Public

    Tree-Sitter Parser for Mim

    Uh oh!

    There was an error while loading. Please reload this page.

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

    (Neo)Vim plugin for Mim

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/vim-mim's past year of commit activity
    Lua 2 MIT 0 0 0 Updated Oct 20, 2026
  • plugins Public

    MimIR Plugin Registry

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/plugins's past year of commit activity
    Makefile 2 MIT 2 0 0 Updated Oct 9, 2026
  • mean Public

    MimIR in Lean

    Uh oh!

    There was an error while loading. Please reload this page.

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

    MimIR organization landing page

    Uh oh!

    There was an error while loading. Please reload this page.

     mimir/.github's past year of commit activity
    0 MIT 0 0 0 Updated Sep 21, 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…

Uh oh!

There was an error while loading. Please reload this page.

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.