Spaces:
Running
Running
A newer version of the Gradio SDK is available: 6.12.0
metadata
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+
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
- AYA-127 β Submission flow design (this)