Add provably safe ethical constraints to AI agents via Phronesis
-
Updated
Apr 13, 2026 - Rust
#
iser
Here are 28 public repositories matching this topic...
Generate proven-correct wrappers from interfaces using Idris2 dependent types
dependent-types zig theorem-proving code-generation formal-verification palimpsest idris2 hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Make operations reversible and auditable via Oblíbený
zig code-generation undo time-travel audit-trail palimpsest idris2 reversible-computing hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Extract formal models from API specs and verify with Alloy
zig model-checking formal-methods alloy sat-solver palimpsest idris2 hyperpolymath iser api-verification
-
Updated
Apr 14, 2026 - Rust
Augment any database with VeriSimDB octad capabilities — drift detection, provenance, temporal versioning, modality overlays
database zig provenance code-generation temporal lineage palimpsest idris2 hyperpolymath verisimdb iser
-
Updated
Apr 13, 2026 - Rust
Add energy/carbon/resource-cost awareness to software via Eclexia
sustainability zig code-generation energy-efficiency green-computing palimpsest idris2 carbon-aware hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Generate formally verified real-time embedded code via Lustre
real-time embedded zig code-generation lustre avionics safety-critical palimpsest idris2 hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Enforce single-use linear type semantics on resources via Ephapax
zig memory-safety code-generation linear-types palimpsest use-after-free idris2 resource-safety hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Meta-framework that generates new -iser projects from language descriptions
-
Updated
Apr 13, 2026 - Rust
Generate OTP supervision trees and fault-tolerance scaffolding
erlang elixir otp fault-tolerance zig code-generation palimpsest idris2 supervision-tree hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Wrap configs into self-validating K9 contracts
validation zig configuration code-generation compliance contracts k9 palimpsest idris2 hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Extract state machines from code and model-check with TLA+/PlusCal
zig temporal-logic model-checking formal-methods code-generation tla-plus palimpsest idris2 hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Add consent patterns and accessibility to existing code via WokeLang
-
Updated
Apr 13, 2026 - Rust
Convert ISU notation to formal figure skating programs via Anvomidav
zig code-generation isu choreography figure-skating palimpsest idris2 hyperpolymath iser sports-notation
-
Updated
Apr 14, 2026 - Rust
Add formal type safety (10 levels, dependent/linear/session types) to any query language — SQL, GraphQL, Cypher, SPARQL, VQL
sql zig code-generation type-safety formal-verification palimpsest idris2 query-languages hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Generate progressive-disclosure interfaces from complex APIs via My-Lang
zig code-generation developer-experience api-design palimpsest idris2 progressive-disclosure hyperpolymath iser
-
Updated
Apr 13, 2026 - Rust
Generate correct-by-construction code for critical functions using Dafny
-
Updated
Apr 14, 2026 - Rust
General-purpose Chapel acceleration framework — distribute any workload without learning Chapel
hpc zig parallel-computing distributed-computing code-generation chapel palimpsest idris2 hyperpolymath iser
-
Updated
Apr 14, 2026 - Rust
Wrap C codebases in ATS linear types for zero-cost memory safety
-
Updated
Apr 14, 2026 - Rust
Generate high-performance C libraries via Nim metaprogramming
-
Updated
Apr 13, 2026 - Rust
Improve this page
Add a description, image, and links to the iser topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the iser topic, visit your repo's landing page and select "manage topics."