chayan-bit

chayan-bit/invar

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

18 good first / help-wanted issues · Rust · last activity Oct 27, 2026

0 stars 0 forks 0 watchers Rust Apache License 2.0
compiler cuda gpu interaction-nets llvm metal ownership parallelism programming-language robotics ros2 rust
18 Open Issues Need Help Last updated: Oct 27, 2026

Open Issues Need Help

View All on GitHub
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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