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.

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

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

Open Issues Need Help

View All on GitHub

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

bug documentation 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-DOCS: formal verification limitations — model vs. real-world gap 3 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 3 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 3 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 3 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 3 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 3 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 3 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