Rust interpreter that runs in the browser!

A modern, GPU-first, statically-typed, compiled programming language designed for balancing high performance and safety in the age of Generative AI

Tools for end-to-end reduction of JWST exoplanet observations

rust-in-peace — agentic security review for Rust: autonomous find/triage/patch for unsafe/FFI memory bugs, panic-DoS, and deserialization-trust flaws (Miri / sanitizer / panic / hang detectors). A Rust-security fork of anthropics/defending-code-reference-harness.

A pattern analysis report investigating how the “paperclip maximizer” AGI narrative distracts from real-time deployment of human-controlled surveillance systems. Includes documentation, funding trails, suppression tactics, and policy implications.

Data products, reduction pipelines, and analysis tools developed for the ultra-deep MIRI/LRS spectrum of the distant galaxy, JADES-GS-z14-0.

Damn Vulnerable Rust Application labs and Docker workflows

Code to estimate JWST imaging filter magnitudes on the basis of external colour and magnitude information.

The Miri Programming Language website

This is the official Visual Studio Code extension for the Miri programming language

A limit order book matching engine in Rust. Single-instrument, price-time priority, length-prefixed binary protocol over TCP, write-ahead log with byte-exact replay, lock-free SPSC queue between gateway and matcher.

I am creating repository for the code that i develop to use jwst simulated psf for smoothing the cubes and line files from MIRI instead of using Gaussian kernel

Rust is an ecosystem that does not let undefined behavior (UB) waltz around unnoticed. But what if you really want to dig into the gnarly edge cases and guarantee there's no sneaky, lurking UB? That's where Miri comes in.

Rust debugging & performance lab: 8 seeded defects fixed and verified with Miri, Valgrind, ASan, TSan; fibonacci ~249,000× faster, dedup ~214×. Course assignment.

MIRI - UPC. AMMM assignment. 2022-2023 1st semester

code to test TA algorithms and procedures for the JWST instruments

JWST background tool - but much faster for extragalactic use ⚡

calculating the SNR of MIRI imaging as a function of extraction aperture & filter using Pandeia.

A custom implementation of the classic Gold Miner game, featuring contemporary topics and public figures.

Safety analysis of the RustNethuns's socket model with the Miri interpreter