LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Rust

argvtype

A static and runtime type checker for Bash, built for use by coding agents

RustEmerging

Stars

—

Forks

—

Contributors

1

Last push

3mo ago

Recent commits

Latest commits.

M2: Source graph resolution with cross-file symbol import
1b8dc2cGerred Dillon3mo ago
M2: Proof invalidation by effects and runtime proof sites
f842193Gerred Dillon3mo ago
M2: Effect system with EffectSet bitflags and builtin inference
0b91c43Gerred Dillon3mo ago
M2: Path refinements with BT401 proof-checking diagnostic
3c60286Gerred Dillon3mo ago
M1: CFG construction and flow-sensitive loop/case convergence
08f0b84Gerred Dillon3mo ago

M1: Command presence effects, call-site checking (BT102), expansion-shape validation (BT203)

0090554Gerred Dillon3mo ago

M1: Presence (set/unset) tracking with BT301/BT302 diagnostics

dc56d9bGerred Dillon3mo ago

M1 Issue #2: Scalar vs Argv type distinction with ExpansionShape and BT101

28ad747Gerred Dillon3mo ago

Top contributors

Builders behind this project.