Spaces:
Sleeping
Sleeping
| title: Legesher Native Code Submission | |
| emoji: π | |
| colorFrom: blue | |
| colorTo: green | |
| sdk: gradio | |
| sdk_version: 6.11.0 | |
| app_file: app.py | |
| pinned: false | |
| hf_oauth: true | |
| # Native Code Submission Portal | |
| A Gradio web app for collecting natively-written Legesher Python code from native speakers of Chinese, Spanish, and Urdu. | |
| Part of **Language, Decoded β Expedition Tiny Aya** (Condition 4: Strictly Native Code). | |
| --- | |
| ## What this does | |
| Contributors open the app, pick an exercise, write their solution in their native language using Legesher, run it to confirm it works, then submit. Submissions are saved to a HuggingFace dataset. | |
| The app uses the Legesher Python API (`TokenTranslator`) to transpile native-language code to standard Python for execution β so contributors can see their code actually run in the browser. | |
| --- | |
| ## Run locally | |
| **Prerequisites:** Python 3.10+ | |
| ```bash | |
| cd native-code-submission | |
| pip install -r requirements.txt | |
| python app.py | |
| ``` | |
| --- | |
| ## Folder structure | |
| ``` | |
| native-code-submission/ | |
| βββ app.py # Main Gradio app | |
| βββ exercises.json # Exercise prompts (zh/es/ur, tiers 1β3) | |
| βββ requirements.txt # Python dependencies | |
| βββ references/ # Legesher keyword reference per language | |
| β βββ zh.md | |
| β βββ es.md | |
| β βββ ur.md | |
| βββ wheels/ # Bundled Legesher wheels (not on PyPI) | |
| ``` | |
| --- | |
| ## Related issues | |
| - AYA-128 β Exercise design (Done) | |
| - AYA-129 β Native code criteria (Done) β [criteria doc](https://linear.app/legesher-research/document/native-code-criteria-qualification-disqualification-and-quality-rubric-5705fc83d6e8) | |
| - AYA-127 β Submission flow design (this) | |