Issues do repositório

mvanhorn/cairo

Cairo is the first Turing-complete language for creating provable programs for general computation.

Ver no GitHub
Stars
 (0 estrela)
Forks
 (0 fork)
Issues indexadas
 (0 issue indexada)
issues iniciantes abertas
 (0 issue iniciante aberta)
Última indexação
20 de ago. de 2026
Último push no GitHub
12 de ago. de 2026
Licença
Apache License 2.0
Guia de contribuição
Guia de contribuição
Código de conduta
Código de conduta
Linguagem principal
Rust
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
Nenhuma label para iniciantes indexada

Issues

0 issue indexada aberta

Nenhum issues indexado aberto encontrado para este repositório.