EricSpencer00

EricSpencer00/Resilient

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

49 good first / help-wanted issues · Rust · last activity Jul 22, 2026

4 stars 1 forks 4 watchers Rust

compiler cortex-m embedded embedded-rust embedded-systems formal-verification language-design no-std programming-language real-time rust safety-critical self-healing smt z3

View on GitHub Website

49 Open Issues Need Help Last updated: Jul 22, 2026

Open Issues Need Help

View All on GitHub

STDLIB.md coverage gap: 131 registered builtins are documented nowhere 2 days ago

documentation help wanted ticket

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

typestate_types: `validate_call` is dead code — the exact transition its own unit test rejects compiles and runs 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

datetime_builtins: check() walks the AST but validates nothing, and the std-feature gate short-circuits the real signature check 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

session_types: protocol order is never enforced, and the "valid" example does not compile behind a zero-byte golden file 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

mutex_rwlock: Mutex and RwLock are the same untyped value, so the check only rejects literal arguments and any array passes as a lock 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

param_destructuring: 60 tests guard a `check` the compiler never calls — and the pass would `eprintln!` on every valid program if it did 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

atomic_types: 6 of 8 `check` rejection classes have zero test coverage — only duplicate-registration is tested 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

http_client: the options argument is validated but the URL argument is not — a literal `https://` URL compiles, runs, and exits 0 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

mmio_regmap: a malformed `#[mmio(...)]` attribute is silently dropped instead of rejected 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

property_tests: `check` is never called by the compiler, and the `--run-property-tests` driver it defers to does not exist 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

phantom_types: the unit registry is built and then never consulted — mixing `Meters` and `Seconds` compiles and runs 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

regex_builtins: an invalid pattern bound to a `const` escapes the static check and ships as a latent runtime error 3 days ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

probabilistic_contracts: the `#[probabilistic]` attribute is unreachable from source, and check() validates nothing about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

package_manager: the whole pass is dead code — `check` is never called by the compiler, so 13 manifest diagnostics never fire about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

hw_state_machine: check() accepts malformed #[peripheral] state machines without diagnostics about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

float32: as_f32/as_f64 accept non-numeric arguments at typecheck because their params are Type::Any about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

derives: `check` never reads the AST, so `#[derive(...)]` is enforced at declarations but never at use sites about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

const_eval_ext: duplicate and function-scoped `const` declarations are silently accepted; check() only guards paths the parser can never produce about 1 month ago

bug help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

examples_golden compares stdout only, so a broken example with a zero-byte golden passes CI about 1 month ago

bug help wanted agent-ready ci-config

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3229: package_manager check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3224: target_profiles check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3214: const_eval_ext check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3209: macros check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3204: typestate_types check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3189: regex_builtins check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3169: float32 check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3164: datetime_builtins check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3159: derives check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3154: hw_state_machine check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3149: probabilistic_contracts check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-3144: atomic_types check needs malformed-input regression corpus about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

docs/STDLIB.md is a stale orphaned fork, and both verify-stdlib-coverage.sh scripts are dead and broken about 1 month ago

documentation help wanted agent-ready chore

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

examples: string_bench_heavy.rz has neither a golden sidecar nor an exclusion marker about 1 month ago

bug help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

Promote missing_expected_files_are_intentional from #[ignore] to a real allowlisted CI check about 1 month ago

help wanted good first issue agent-ready blocked

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

Ratchet test: fail CI when a BUILTINS entry has no STDLIB.md row about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

STDLIB.md: document the 10 stats_* builtins about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

STDLIB.md: document the int_to_*/int_parse_* radix and as_uint*/as_int* width-cast builtins (11) about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

STDLIB.md: document the deque_* and heap_* builtins (16) — including their functional value semantics about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

STDLIB.md: document the 9 bit_* bit-manipulation builtins about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

STDLIB.md: document the 18 complex_* builtins about 1 month ago

documentation help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-4219: CONTRIBUTING.md macOS Z3 setup (brew install z3 + --features z3) fails out of the box about 1 month ago

bug documentation help wanted good first issue

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-4224: mcp_clients_smoke.rs connects without retry — flakes `test (jit)` / `test (lsp)` on ConnectionRefused about 1 month ago

help wanted good first issue agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-DOCS: formal verification limitations — model vs. real-world gap 5 months ago

documentation help wanted agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-368: Resilient playground — web-based live code editor and runner 5 months ago

enhancement help wanted ticket complex

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-373: Parallel CI: split test suite into shards to reduce wall-clock time 5 months ago

enhancement help wanted ticket ci-config

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-383: Security review: audit FFI trampoline for memory safety 5 months ago

enhancement help wanted ticket

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-366: Pinned integer types — Int8, Int16, Int32, Int64, UInt variants 5 months ago

enhancement good first issue ticket agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-374: Embedded runtime: heap profiler — track peak allocation under alloc feature 5 months ago

enhancement good first issue ticket agent-ready

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3

RES-213: Stdlib string builtins: split, trim, starts_with, ends_with, repeat 5 months ago

enhancement good first issue ticket

EricSpencer00/Resilient

4

Statically-typed compiled language for safety-critical embedded systems — Z3-verified contracts, no_std runtime, self-healing live blocks. Ships to Cortex-M, RISC-V, and bare metal.

Rust

#compiler#cortex-m#embedded#embedded-rust#embedded-systems#formal-verification#language-design#no-std#programming-language#real-time#rust#safety-critical#self-healing#smt#z3