research.openie.dev / rce

Download RCE and the RCE IDE

RCE (the Reality Code Engine) is a language in which a program is written once as a checked state machine and code in other languages is generated from it. The RCE IDE bundles the editor, the checker, a language server and an MCP server. The specification, the Lean library, the reference checker, the book, the examples and the standard host libraries are public source under MIT OR Apache-2.0. The IDE release archives are prebuilt binaries only: from 0.1.2 on, they are built from a private engine and the source in the rce-ide repository is the 0.1.2 snapshot. The archives are free to download. The research behind it is in the RCE paper.

• Write a program once and generate it in many languages.
• The checker rejects broken input before anything runs.
• Download, check the file against its published hash, then unpack and run.

Try it in the browser

The RCE playground runs the reference checker, compiled to WebAssembly, in your browser. Type a program and see whether it is accepted, which rule it breaks, and the trace of each example. Nothing is installed and nothing is sent to a server.

RCE IDE v0.1.3

Release notes: github.com/openIE-dev/rce-ide/releases/tag/v0.1.3. Each archive contains rce-ide, rce (the checker), rce-lsp, rce-mcp, the README and the license files. The specification draft a build implements is printed by rce --version. There is one language: the specification at one commit (2.7), with no per-module version selection.

• macOS, Apple silicon · 16.0 MB

  rce-ide-0.1.3-aarch64-apple-darwin.tar.gz

  Ad-hoc signed, not notarized. Binary only.

  SHA-256 6b76de8e19a741c7edabb5f9ab630025e41531fa1d4d72f5f915e2696224310c

• Linux x86_64 (glibc 2.39 or later) · 19.5 MB

  rce-ide-0.1.3-x86_64-unknown-linux-gnu.tar.gz

  Binary only.

  SHA-256 4c55b98b02a3cebd8f60444ba3fc73e1596379d3514a7952264e0df22d74dbed

• photon source (MPL-2.0) · 0.1 MB

  photon-source-mpl-2.0.tar.gz

  Source of the vendored photon library, offered under its MPL-2.0 license.

  SHA-256 dee57c47e3f525dde678b2364ad576da60de43e949b7f6ecaa786c6604370c8c

• Linux aarch64 (glibc 2.28+), version 0.1.2 · 11.4 MB

  rce-ide-0.1.2-aarch64-unknown-linux-gnu.tar.gz

  The last release for this platform. Cross-built. Not yet run on this hardware. Binary only.

  SHA-256 8f23fd7f5f8dcef42c9ce150c56910d15d7018ec9e7b29aa7379889617a165e0

• Windows x86_64, version 0.1.2 · 44.4 MB

  rce-ide-0.1.2-x86_64-pc-windows-gnu.zip

  The last release for this platform. Cross-built. Not yet run on Windows. Binary only.

  SHA-256 a66003bce0affb1d84dcb7857d038085e95f3d9fa5fe132fefab9543c10ca1b0

All hashes for 0.1.3 in one file: SHA256SUMS.

Verify and install

1. Download the archive for your platform and SHA256SUMS into the same folder.
2. Check the hash. If the file was changed or damaged in transit, this step fails.

   sha256sum -c SHA256SUMS --ignore-missing     # Linux
   shasum -a 256 -c SHA256SUMS --ignore-missing # macOS

   On Windows, run Get-FileHash .\rce-ide-0.1.2-x86_64-pc-windows-gnu.zip in PowerShell and compare the result with the line in SHA256SUMS.
3. Unpack it: tar xzf rce-ide-<version>-<platform>.tar.gz, or extract the zip on Windows.
4. Run ./rce-ide to open the editor, or ./rce --version and ./rce (the list of commands) for the command-line checker.
5. macOS only: the binaries are ad-hoc signed and not notarized by Apple, so Gatekeeper may block them. After checking the hash, clear the quarantine flag in the unpacked folder:

   xattr -d com.apple.quarantine rce rce-ide rce-lsp rce-mcp

Known limits

• The Linux aarch64 and Windows builds were cross-built and have not been run on that hardware. Reports of success or failure are welcome as GitHub issues.
• The Linux x86_64 build was smoke-tested without a physical GPU.
• The macOS build is not notarized.
• The IDE archives are binary only. The source for 0.1.3 is not published, so a 0.1.3 binary cannot be rebuilt from public repositories.
• The 0.1.2 archives have their own SHA256SUMS.

Source repositories

• openIE-dev/rce

  The language specification, the Lean proofs, the reference checker and the browser playground.

• openIE-dev/rce-book

  A book that teaches RCE step by step.

• openIE-dev/rce-examples

  Worked example programs.

• openIE-dev/tree-sitter-rce

  A tree-sitter grammar for syntax highlighting in editors.

• openIE-dev/rce-ide

  Source of the RCE IDE agent layer, the language server and the MCP server, as of the 0.1.2 snapshot. Releases from 0.1.3 are binary only.

License

The source in the public RCE repositories and in the rce-ide repository (the 0.1.2 snapshot) is licensed under MIT OR Apache-2.0, at your option. The binary-only IDE archives from 0.1.3 on are built from an engine whose source is not published. Copyright (c) 2026 Open Interface Engineering, Inc (OpenIE). The vendored photon library is MPL-2.0, and its source is the photon source download. webpki-roots is CDLA-Permissive-2.0. Full notices are in THIRD-PARTY-LICENSES.txt inside each archive.