MimIR Plugin Registry
Third-party plugins for MimIR
Loading...
Searching...
No Matches
🧩 MimIR Plugin Registry

Welcome to the MimIR Plugin Registry! This repository lists third-party plugins for the MimIR compiler infrastructure.

Plugins are developed independently and are not maintained as part of the MimIR core repository.

🧰 Registered Plugins

🏷️ Name 🧠 Description 👤 Maintainer ✅ Version 🗒️ Notes
eqsat This plugin integrates the egg and slotted-egraphs libraries into MimIR to enable optimizing programs through the process of equality saturation. Jannik Novak 0.3
sexpr This plugin provides the ability to emit MimIR programs in the symbolic expression format Jannik Novak 0.3

📋 Registry Format

Each plugin entry includes:

  • 🏷️ Name: Plugin name - hyperlinked to project homepage
  • 🧠 Description: Short explanation of what the plugin does
  • 👤 Maintainer: Author or team
  • ✅ Version: Last known working MimIR version (major.minor)
  • 🗒️ Notes: Optional remarks (experimental, deprecated, etc.)

🔗 Plugin Compatibility

MimIR provides a plugin interface that is versioned using the MimIR release version.

Plugins declare which MimIR version they are compatible with (major.minor). MimIR may refuse to load plugins built for incompatible versions.

⚠️ Important Notes

  • MimIR master is under active development and may introduce breaking changes at any time.
  • Plugins are expected to target tagged MimIR releases (e.g. 0.1, 0.2, ...).
  • Compatibility with master is not guaranteed.
  • This registry records the last known compatible MimIR version for each plugin.

✍️ Contributing a Plugin

Want your plugin listed here? Great.

To register a plugin:

  1. Fork this repository
  2. Add your plugin entry to the table above
  3. Ensure your plugin exports the required entrypoint (mim_get_plugin())
  4. Open a pull request

Plugins should be buildable against at least one released MimIR version.

🏛️ Compatibility Policy

  • MimIR releases (0.1, 0.2, ...) define the plugin API compatibility boundary.
  • Plugins should target released versions, not master.
  • When MimIR introduces breaking plugin API changes, the MimIR version is bumped.

This registry does not guarantee that plugins remain compatible with future MimIR releases.

📌 Notes

  • This registry does not build, distribute, or validate plugins.
  • It is purely informational.
  • Use plugins at your own risk.