Rust interpreter that runs in the browser!

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.

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

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

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.

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

The Miri Programming Language website

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.

code to test TA algorithms and procedures for the JWST instruments

CPDS Labs for Parallelism and Distributed Systems - MIRI 2022-2023 1st Semester

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

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

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

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