The Feldera Incremental Computation Engine

TUF client conformance test suite

Translations of a simple C program to Rust.

Source code of Ferrocene, safety-critical Rust toolchain

Image similarity comparison simulating human perception (multiscale SSIM in Rust)

CakeML: A Verified Implementation of ML

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Port of the regex crate for use with ropes

Rust support for seL4 userspace

Some notes on things I find interesting and important.

IVM (Incremental View Maintenance) implementation as a PostgreSQL extension

Translations of a simple C program to Rust.

Type-check non-existing `Phantom` code for Fun And Profit™.

Take control of the Semver hazard of the `dyn` safety of your traits!

Macro to customize the behavior of `?`

`&own` references

Read trait fixed to soundly work with uninitalized memory

`#[cfg_eval]` in stable Rust

Procedural macro to mock returning (values referencing) locals from a function (using CPS)

Attribute to override the visibility of items (useful in conjunction with cfg_attr)

"Generic generics" / higher-kinded APIs in stable Rust.

banzai: pure rust bzip2 encoder

A Rust no-std (de)compressor based on PAQ

Exploit Mitigations Project Group

GPU-accelerated compiler

Playing with counting word frequencies (and performance) in various languages.

This repository contains the code used for analysis in the paper Scarborough P, Clark M, Cobiac LJ, Papier K, Knuppel A, Lynch J, Harrington RA, Key T, Springmann M. Vegans, vegetarians, fish-eater…

A collaborative bibliography of work related to the theory and practice of computational effects

Counterexamples in Type Systems