PRM stands for “Programming with Refinement and Modules”. It is an open-source programming language that has a simple straightforward style and can usually be picked up quickly, particularly by anyone who has programmed before. It is object-oriented but allows a procedural style. prmc is a PRM compiler that produces efficient machine language executables.