The Simile Compiler

A high level, optimizing model simulation language founded on set theory!

The repository is organized as follows:

• .archive: Older work that may still be relevant to future progress
  • implementation: Code for the first version of Simile, corresponding to the paper in docs/implementation_v2.
• docs: Everything documentation-related: Reports, Assignments, Specifications, and Papers.
  • background: Technical reports on background information regarding programming language analysis and high-level optimization.
    • ADT: A Survey of Abstract Data Types (in several languages)
    • implementation_v2: Revised report for a prototype set-theory based compiler. Corresponding implementation is in .archive/implementation but has since been superseded by Simile.
    • term_rewriting: A Survey of Term Rewriting for Compiler Optimization
  • simile: Documentation for the Simile compiler (that does not fit into the language specification).
  • spec: Complete language specification for the Simile compiler (a WIP on Overleaf; this version is updated rarely).
  • thesis: Masters thesis on Simile (not started).
  • workshops: Abstracts and presentations about the underlying ideas behind Simile, delivered at various workshops.
    • cdp_2025: CDP 2025, co-located with CASCON 2025
    • onpls_2026: ONPLS 2026
    • synt_2025: SYNT 2025, co-located with CAV 2025
• meetings: Meeting notes for discussions involving Simile
• notes: Research notes, important information is incorporated into docs
  • examples: Gathered/derived model simulation examples that make use of set theory
• packages: Python packages for Simile
  • simile_compiler: Actual contents of the compiler, from lexer to code generation
    • ...data: Collection of data structures used by Simile
    • ...pipeline: Data flow and execution of Simile
  • simile_jupyter_extention: TODO, a jupyter extension to recognize Simile syntax
  • simile_jupyter_kernel: TODO, a jupyter kernel to execute Simile
• proposals: Proposals discussing the problems and justification of our work (outdated)

Generating API Documentation

pip install pydoctor
pydoctor --make-html --docformat=google --html-output=generated/api_docs/ packages/simile_compiler/