adico1/unified-code

Make the C test target independent of a repository-local virtualenv 3 months ago

good first issue verification

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Prove clean-room whole-repository regeneration 3 months ago

help wanted provenance verification bootstrap milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Milestone 2: Root-seed fixed-point bootstrap 3 months ago

help wanted architecture provenance research verification bootstrap uem milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Project measured corpus evidence into the generated Atlas application 3 months ago

help wanted verification application-atlas outward-boundary

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

GitHub Application Atlas: live corpus acquisition 3 months ago

help wanted architecture research application-atlas

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Prove unseen GitHub holdout generation without compiler changes 3 months ago

help wanted research verification application-atlas

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Extract traceable candidate application seeds from canonical records 3 months ago

help wanted research application-atlas data

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Normalize repositories and collapse mirrors into canonical candidates 3 months ago

help wanted architecture research application-atlas data

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Add a canonical public-repository fixture pack 3 months ago

documentation help wanted good first issue verification application-atlas data

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Implement the read-only GitHub corpus OUTWARD adapter 3 months ago

enhancement help wanted application-atlas outward-boundary

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Define the canonical GitHub corpus snapshot contract 3 months ago

help wanted architecture provenance research application-atlas

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Enforce arithmetic-result range in stateful transitions 3 months ago

enhancement help wanted verification uem milestone-1.1

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Enforce the post-bootstrap single-language boundary 3 months ago

help wanted provenance verification bootstrap blocked uem milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Define one post-bootstrap Unified Language 3 months ago

help wanted architecture research bootstrap uem milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Inventory pre-bootstrap language and toolchain surfaces 3 months ago

documentation help wanted good first issue provenance verification bootstrap milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Milestone 1.1: Remove task-ledger vocabulary from the generic stateful generator 3 months ago

bug help wanted architecture verification milestone-1.1

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Define external dependency provenance 3 months ago

help wanted good first issue provenance research milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Generate tests, mutations, goldens, documentation, and audit tooling 3 months ago

help wanted provenance verification blocked milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Generate UEM hosts and target adapters 3 months ago

help wanted architecture verification blocked uem milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Prove byte-identical Stage-1 fixed point 3 months ago

help wanted verification bootstrap blocked milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Generate the framework and generator from ROOT.seed 3 months ago

help wanted architecture bootstrap blocked milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Define the minimal Stage-0 bootstrap contract 3 months ago

help wanted architecture research bootstrap milestone-2

adico1/unified-code

2

Experimental single-signature recursive software construction grammar

Python

Open Issues Need Help