Tasks
Ash Temporal Resources
Add time-versioned records with as-of reads and partial-history writes to Ash.
egglog Container Proofs
Extend equality proofs to sets, vectors, and maps in egglog.
Coroutines in Haxe
Add compiler support for pausing and resuming execution across language constructs.
Logseq DB Sync over Cloudflare
Build database sync with change capture, merging, and conflict handling.
Loro Mergeable Containers
Make concurrently created containers converge and persist correctly.
MiniZinc Named Arguments
Add named arguments and parameter defaults throughout the compiler.
mypy Closed TypedDicts
Implement closed TypedDicts and check construction, access, and updates.
OCaml Polymorphic Parameters
Let OCaml functions take arguments they use at more than one type.
pixi Rich Platform Specifiers
Resolve environments using architecture and OS version constraints.
RocksDB Wide-Column Blobs
Support wide-column entities in blob files and compaction filters.
systemd OCI Image Pull
Pull and unpack OCI images for containers and portable services.
Turso MVCC Sequences
Implement concurrency-safe sequences and auto-incrementing IDs.
Groundwater Nitrate Legacy Lag
Forecast groundwater nitrate while accounting for decades of transport delay.
Cahn-Hilliard Solver
Solve a Cahn-Hilliard equation accurately within strict compute limits.
PyTensor Matrix Assumptions
Infer matrix structure across a graph and let linear-algebra rewrites use it.
SuperCollider Synth Resampling
Support independent synth block sizes and sample rates with audio resampling.
CAD Assembly Exchange
Preserve assembly structure and metadata across CAD file formats.
Inertial Navigation on MCU
Fuse navigation sensors within microcontroller CPU and memory limits.
ns-3 6LoWPAN Neighbor Discovery
Implement neighbor discovery and address registration for low-power networks.
Vision-Only Racing Driver
Build a driving controller that races unseen tracks using screenshots.