Inferara

Inferara/inference

🌀 Inference programming language

13 good first / help-wanted issues · Rust · last activity Jul 27, 2026

23 stars 17 forks 23 watchers Rust GNU General Public License v3.0
compiler formal-specification formal-verification programming-language security smart-contracts web3
View on GitHub Website
13 Open Issues Need Help Last updated: Jul 27, 2026

Open Issues Need Help

View All on GitHub
Consider Error Type Poisoning 26 days ago
enhancement good first issue help wanted static analysis
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
vscode: tmLanguage number highlighting is more permissive than the compiler 3 months ago
good first issue vscode
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
docs/DX: examples show 'loop <count>' but the type checker requires a boolean condition 3 months ago
documentation good first issue
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Update VSCode extension after removing LLVM 8 months ago
good first issue help wanted vscode
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Update `infs` after removing LLVM 8 months ago
good first issue help wanted infs
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Use `cov-mark` when testing specific conditions 9 months ago
good first issue help wanted tests
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Use `always-assert` instead of built in `assert!` 9 months ago
good first issue help wanted tests
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Node-ID-Based Error Deduplication 9 months ago
enhancement good first issue help wanted static analysis
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Add Inline Documentation for Complex Logic in `type-checker` 9 months ago
documentation good first issue help wanted
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Add error variant to ast node types 9 months ago
enhancement good first issue parser
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Clean up `ast builder` unit tests 9 months ago
good first issue help wanted tests
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Update `build_release` workflow to it automatically attaches artifacts to the release 10 months ago
good first issue help wanted build
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3
Update `libLLVM.so` external Linux lib name 10 months ago
good first issue help wanted build
Inferara/inference
23

🌀 Inference programming language

Rust
#compiler#formal-specification#formal-verification#programming-language#security#smart-contracts#web3