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

AI Summary: This issue proposes adding a unary 'not' operator to the language. The implementation should be integrated into the compiler's frontend and propagated through the pipeline without desugaring, allowing for future optimizations. This approach differs from alternative methods that involve built-in functions or desugaring.

Complexity: 3/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 5 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