chayan-bit/invar

system gen ros2: use correctly rounded asin so output is identical on every platform 8 days ago

good first issue size:S type:bug

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Tag a release and publish binaries 8 days ago

good first issue area:infra release:v0.2 risk:low size:S type:chore

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Editor syntax highlighting grammar 8 days ago

good first issue area:infra release:v0.2 risk:low size:S type:chore

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Match guards and let-else 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

A closed attribute registry 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

assert with a message 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Doc comments 8 days ago

good first issue area:docs release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Ranges with a step 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

for-each over arrays and views 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Compound assignment 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Integer literal separators and radix literals 8 days ago

good first issue area:codegen release:v0.2 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Showcase: RMSNorm with sum_tree, measured and receipted 8 days ago

good first issue area:harness release:v0.3 risk:low size:S type:docs domain:ml

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Philox 4x32-10 reference implementation and known-answer vectors 8 days ago

good first issue area:runtime release:v0.3 risk:low size:S type:feature domain:ml

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Example: a deterministic lockstep simulation with published hashes 8 days ago

good first issue area:docs release:v0.2 risk:low size:S type:docs domain:games

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Colour space conversions with declared matrices 8 days ago

good first issue area:codegen release:v0.3 risk:low size:S type:feature domain:graphics

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

UNORM, SNORM and sRGB conversions as exact intrinsics 8 days ago

good first issue area:codegen release:v0.3 risk:low size:S type:feature domain:graphics

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

FP8 E4M3 and E5M2 storage arrays and conversions 8 days ago

good first issue area:codegen release:v0.3 risk:low size:S type:feature

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Diagnostic codes for contract misuse 8 days ago

good first issue area:docs release:v0.2 risk:low size:S type:feature axis:c

chayan-bit/invar

0

Invar: a language with verified automatic CPU/GPU parallelism, and a robot system integration language.

Rust

#compiler#cuda#gpu#interaction-nets#llvm#metal#ownership#parallelism#programming-language#robotics#ros2#rust

Open Issues Need Help