Issues

• Justify Design Decisions

  Ant13731/simile#39 · Filter by author Ant13731 opened on Jul 25, 2026

• Revise TRS

  designdocumentationresearch
  Ant13731/simile#38 · Filter by author Ant13731 opened on Jul 16, 2026

• Syntax idea: Quantifiers written as for-loops

  design
  Ant13731/simile#37 · Filter by author Ant13731 opened on Jun 15, 2026

• Gather more examples

  research
  Ant13731/simile#36 · Filter by author Ant13731 opened on Jun 11, 2026

• Define the ADT API

  documentation
  Ant13731/simile#35 · Filter by author Ant13731 opened on Jun 4, 2026

• Error handling and exceptions

  designresearch
  Ant13731/simile#34 · Filter by author Ant13731 opened on Jun 4, 2026

• What are the semantics of the choice operator

  designresearch
  Ant13731/simile#33 · Filter by author Ant13731 opened on Jun 4, 2026

• Allow subset expressions to be generators

  design
  Ant13731/simile#32 · Filter by author Ant13731 opened on Jun 4, 2026

• Chained generators and generator selection

  research
  Ant13731/simile#31 · Filter by author Ant13731 opened on Jun 4, 2026

• Formalize rewrite system

  research
  Ant13731/simile#30 · Filter by author Ant13731 opened on Jun 4, 2026

• Formalize type system

  research
  Ant13731/simile#29 · Filter by author Ant13731 opened on Jun 4, 2026

• Document all of Simile

  documentation
  Ant13731/simile#28 · Filter by author Ant13731 opened on Jun 4, 2026

• Syntax Highlighting in VSCode

  implementation
  Ant13731/simile#27 · Filter by author Ant13731 opened on Jun 4, 2026

• Integration with Jupyter (Planning)

  research
  Ant13731/simile#26 · Filter by author Ant13731 opened on Jun 4, 2026

• Unit tests

  implementationtesting
  Ant13731/simile#25 · Filter by author Ant13731 opened on Jun 4, 2026

• How Do Relational DBs perform joins for efficiency?

  research
  Ant13731/simile#24 · Filter by author Ant13731 opened on Jun 4, 2026

• Thesis Tracker

  documentation
  Ant13731/simile#22 · Filter by author Ant13731 opened on Jun 1, 2026

• Document Design of Simile

  documentation
  Ant13731/simile#21 · Filter by author Ant13731 opened on Jun 1, 2026

• Definedness of short-circuiting boolean operators

  Ant13731/simile#20 · Filter by author Ant13731 opened on Jun 1, 2026

• Well-definedness Design

  research
  Ant13731/simile#19 · Filter by author Ant13731 opened on Jun 1, 2026

• Review Literature for type checking algorithms

  Ant13731/simile#18 · Filter by author Ant13731 opened on Jun 1, 2026

• Organize motivation

  documentationresearch
  Ant13731/simile#17 · Filter by author Ant13731 opened on Jun 1, 2026

• Benchmarking Planning

  research
  Ant13731/simile#16 · Filter by author Ant13731 opened on Jun 1, 2026

• LLVM Lowering Planning

  research
  Ant13731/simile#15 · Filter by author Ant13731 opened on Jun 1, 2026

• Create Tasks for Implementation-Specific Optimizations

  research
  Ant13731/simile#14 · Filter by author Ant13731 opened on Jun 1, 2026