Add provably safe ethical constraints to AI agents via Phronesis
-
Updated
Apr 18, 2026 - Rust
#
iser
Here are 28 public repositories matching this topic...
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 18, 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 18, 2026 - Rust
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 17, 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 27, 2026 - Rust
Wrap C codebases in ATS linear types for zero-cost memory safety
-
Updated
Apr 18, 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 18, 2026 - Rust
Meta-framework that generates new -iser projects from language descriptions
-
Updated
Apr 17, 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 17, 2026 - Rust
Generate correct-by-construction code for critical functions using Dafny
-
Updated
Apr 17, 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 17, 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 18, 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 18, 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 17, 2026 - Rust
Compile image/video pipelines to optimised Halide schedules
-
Updated
Apr 18, 2026 - Rust
Auto-wrap Python/R data pipelines into Julia for 100x speedups
python data-science performance julia zig code-generation r-language palimpsest idris2 hyperpolymath iser
-
Updated
Apr 18, 2026 - Rust
Wrap concurrent code in Pony reference capabilities for data-race freedom
zig concurrency pony code-generation palimpsest idris2 data-race-freedom hyperpolymath iser reference-capabilities
-
Updated
Apr 18, 2026 - Rust
Detect array patterns and rewrite as optimised BQN primitives
-
Updated
Apr 18, 2026 - Rust
Wrap code in affine + dependent types targeting WASM via AffineScript
zig webassembly wasm code-generation palimpsest idris2 resource-safety affine-types hyperpolymath iser
-
Updated
Apr 17, 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 17, 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."