-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#164 In hellas-ai/catena-lang;
side-effecting operations like
buf.freewithin a reduce will double-freebugSomething isn't workingSomething isn't workinglangcatena-langcatena-langStatus: Open.#151 In hellas-ai/catena-lang;Static resource usage proofs
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#147 In hellas-ai/catena-lang;- Status: Open.#144 In hellas-ai/catena-lang;
Spike: simplify function/name inlining
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#138 In hellas-ai/catena-lang;Safe runtime v2: memory
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#137 In hellas-ai/catena-lang;Design Spike: explicit modelling of memory hierarchy in codegen (allowing e.g., nested materialize)
langcatena-langcatena-langStatus: Open.#135 In hellas-ai/catena-lang;Port a known-fast model implementation & benchmark
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#126 In hellas-ai/catena-lang;Implement SmolLM2 in idiomatic style
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#125 In hellas-ai/catena-lang;Achieve ≥20% GEMM performance relative to rocBLAS or cuBLAS
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#124 In hellas-ai/catena-lang;Stdlib organisation
enhancementNew feature or requestNew feature or requestlangcatena-langcatena-langStatus: Open.#123 In hellas-ai/catena-lang;Documentation: hexprs & "SSA style"
documentationImprovements or additions to documentationImprovements or additions to documentationlangcatena-langcatena-langStatus: Open.#122 In hellas-ai/catena-lang;