Examples

Runnable apps from the manhattan-reasoning-gym repo. Each is a complete mrg.cloud.App you launch with mrg run.

  • Hello Wishbone

    The minimal smoke test, write a pattern to an echo RAM and read it back. Start here to verify the interface contract.

  • Verilog Hello

    The same echo RAM as Hello Wishbone, written as plain Verilog instead of Amaranth, to demonstrate submitting a hand-written .v design directly.

  • SAT solver

    A brute-force boolean satisfiability solver in hardware. Includes a generalized DIMACS runner and a 30-variable variant.

  • BERT feed-forward

    A real transformer encoder block whose feed-forward matmuls run on the FPGA via a tiled int8 matmul core.

  • FFN accelerator

    A real streaming INT8 transformer feed-forward engine, entirely in silicon, parallel MAC grid, on-chip requantization, and GELU.

Before you run

pip install manhattan-reasoning-gym, mrg login, and confirm a board is idle (mrg status). See the Quickstart.