Search results

Mutate misconceptions in a richer operator space (W/M/R/xor), and decide a simplification policy for distractors

Status: Open.

#174 In brownplt/LTLTutor;

· sidprasad opened on Jul 17, 2026

Explore learner-friendly gamification for adaptive progression

Status: Open.

#163 In brownplt/LTLTutor;

· sidprasad opened on Jul 12, 2026

Instructor UI: warning box needed if exercise changes not saved

Status: Open.

#151 In brownplt/LTLTutor;

· tnelson opened on Mar 12, 2026

LTL Mutator should be its own (sub)package

Status: Open.

#142 In brownplt/LTLTutor;

· sidprasad opened on Mar 6, 2026

POSTGRES uses psycopg2

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Task

#81 In brownplt/LTLTutor;

· sidprasad opened on Apr 2, 2025

Rendering issues on the TOR browser

bugSomething isn't workingSomething isn't working

Status: Open.

#76 In brownplt/LTLTutor;

· sidprasad opened on Mar 11, 2025