arunsoman

arunsoman/nirdosha

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

7 good first / help-wanted issues · Rust · last activity Sep 3, 2026

20 stars 0 forks 20 watchers Rust MIT License
agentic-ai ai-agents code-generation compiler dsl formal-verification llm llvm programming-language rust securit systems-programming type-safety
View on GitHub
7 Open Issues Need Help Last updated: Sep 3, 2026

Open Issues Need Help

View All on GitHub
Add an examples/workflow_notify.nir demonstrating workflow() + notify() (presence-gateway) 16 days ago
documentation good first issue llm
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
Add examples/mq.nir — no dedicated example for the mq (Redis) builtin 16 days ago
documentation good first issue llm
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
Observability: wire the local OTel-shaped tracer to a real OTLP collector 16 days ago
help wanted compiler infra
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
macOS: z3-src 416.0.2 fails against current AppleClang — vendor Z3 or document workaround 16 days ago
help wanted infra
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
Track A: real Windows verification for compiled tcp/tcp_listener runtime 16 days ago
help wanted infra
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
grammar_export/: add corpus entries for edge cases not yet covered 16 days ago
good first issue llm
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety
Wire bench/ pass@1 + self-repair-rate harness to a real model (DeepSeek / Kimi / GLM) 16 days ago
help wanted llm
arunsoman/nirdosha
20

A systems language designed so an AI agent can safely write and run backend code: proven no GC/races/overflow, GBNF-constrained generation, structured diagnostics, OS-process sandboxing.

Rust
#agentic-ai#ai-agents#code-generation#compiler#dsl#formal-verification#llm#llvm#programming-language#rust#securit#systems-programming#type-safety