Troupe programming language

compiler dynamic-monitoring information-flow information-flow-control information-flow-tracking language-based-security security
6 Open Issues Need Help Last updated: Dec 17, 2025

Open Issues Need Help

View All on GitHub
Add `not` operator about 2 months ago

AI Summary: This issue proposes adding a `not` unary operator to the language, which is currently missing and needed for making the `HashMap` module IFC-aware. The preferred approach is to integrate it directly into the frontend and propagate it through the entire compiler pipeline without desugaring, to enable future optimizations. Alternatives include adding it as a builtin or desugaring it into an equality expression.

Complexity: 4/5
good first issue 📁 ./rt 🎓 student programmer 📁 ./compiler (Front-end)

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security

AI Summary: This GitHub issue proposes introducing the `@` symbol as an alias for the `raisedTo` operator, which is used for applying security labels to data. The motivation is to achieve greater consistency with the `toStringL` output, improve readability, and emphasize it as a core language feature. The change is described as a minor update primarily to the `Parser.hs` file, as the `@` token is already handled by the lexer.

Complexity: 1/5
good first issue 🎓 student programmer 📁 ./compiler (Front-end)

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security
good first issue 📁 ./tests

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security
good first issue 📁 ./lib 📁 ./tests

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security
Spring Cleaning 3 months ago
good first issue 📁 ./compiler 📁 ./rt ✨ code quality 🎓 student programmer

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security
good first issue 📁 ./compiler ✨ code quality

Troupe programming language

TypeScript
#compiler#dynamic-monitoring#information-flow#information-flow-control#information-flow-tracking#language-based-security#security