Open Issues Need Help
View All on GitHub Add a CODE_OF_CONDUCT.md 16 days ago
good first issue
nrupala/axiomcode nrupala/axiomcode AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Open project →
1
AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Python
#c#cffi#code-generation#formal-verification#lean4#llm#nlp#python
good first issue
nrupala/axiomcode nrupala/axiomcode AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Open project →
1
AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Python
#c#cffi#code-generation#formal-verification#lean4#llm#nlp#python
good first issue
nrupala/axiomcode nrupala/axiomcode AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Open project →
1
AxiomCode converts natural language descriptions of algorithms into mathematically proven-correct code in Python and C. Every generated artifact comes with a cryptographic certificate of verification that can be independently audited.
Python
#c#cffi#code-generation#formal-verification#lean4#llm#nlp#python