hellas-ai/catena-lang
View on GitHubcatena: a categorical verifiable array language
- Stars
- 2
- Forks
- 1
- Open beginner issues
- 0
- Indexed issues
- 24
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 7
- Dominant language
- Rust
- License
- No license data
- Last GitHub push
- Sep 4, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
-
core
hellas-ai/catena-lang#7 · 0 comments · 0 reactions · 0 assignees ·
-
core
hellas-ai/catena-lang#26 · 0 comments · 0 reactions · 0 assignees ·
-
bug core
hellas-ai/catena-lang#31 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#48 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#57 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#58 · 0 comments · 0 reactions · 0 assignees ·
-
documentation lang
hellas-ai/catena-lang#76 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#94 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#117 · 2 comments · 0 reactions · 1 assignee ·
-
enhancement lang
hellas-ai/catena-lang#118 · 0 comments · 0 reactions · 0 assignees ·
-
documentation lang
hellas-ai/catena-lang#120 · 0 comments · 0 reactions · 1 assignee ·
-
documentation lang
hellas-ai/catena-lang#121 · 0 comments · 0 reactions · 0 assignees ·
-
documentation lang
hellas-ai/catena-lang#122 · 0 comments · 0 reactions · 0 assignees ·
-
Stdlib organisation Openenhancement lang
hellas-ai/catena-lang#123 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement lang
hellas-ai/catena-lang#124 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#125 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#126 · 0 comments · 0 reactions · 0 assignees ·
-
Design Spike: explicit modelling of memory hierarchy in codegen (allowing e.g., nested materialize) Openlang
hellas-ai/catena-lang#135 · 0 comments · 0 reactions · 3 assignees ·
-
enhancement lang
hellas-ai/catena-lang#137 · 0 comments · 0 reactions · 1 assignee ·
-
enhancement lang
hellas-ai/catena-lang#138 · 0 comments · 0 reactions · 0 assignees ·
-
hellas-ai/catena-lang#144 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement lang
hellas-ai/catena-lang#147 · 0 comments · 0 reactions · 0 assignees ·
-
bug lang
hellas-ai/catena-lang#151 · 0 comments · 0 reactions · 0 assignees ·
-
hellas-ai/catena-lang#164 · 0 comments · 0 reactions · 0 assignees ·