Makam is a metalanguage: a language for implementing languages. It supports consise declarative definitions, aimed at allowing rapid prototyping and experimentation with new programming language research ideas. The design of Makam is based on higher-order logic programming and is a refinement of the λProlog language. Makam is implemented from scratch in OCaml.

The name comes from the makam/maqam of traditional Turkish and Arabic music: a set of techniques of improvisation, defining the pitches, patterns and development of a piece of music.

I started working on the design and implementation of Makam in 2012 at MIT, under the supervision of Prof. Adam Chlipala, and continue to work on it as a personal project at Originate NYC.

Code, papers and slides.

  • The GitHub repository for Makam. Makam is free software, released under the GPLv3. This is the official GitHub repository for it.
  • Technical Overview. A paper describing the main technical features of Makam, which is the closest thing that we have right now to a language tutorial (expect a proper tutorial soon though!)
  • Slides for the CRSX User Meeting. These are the slides for a talk I gave in the 2nd CRSX User Meeting, in Two Sigma NYC. They describe the main features of Makam and are a good reference point if you need a quick overview of the language.
  • Slides for the MIT PL/SE Offsite. This is a lightning 3-minute talk (with my notes) for the MIT Programming Languages/Software Engineering Offsite event. This is the talk that I have most enjoyed giving, and might be interesting, even though it will not give you too much information about Makam :)
  • A technical description of Makam, geared towards programming language researchers.