8573

materialize

The data warehouse for operational workloads.

cve-rs

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

blog

Some notes on things I find interesting and important.

ferrocene

Source code of Ferrocene, safety-critical Rust toolchain

dssim

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

cakeml

CakeML: A Verified Implementation of ML

effects-bibliography

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

pg_ivm

IVM (Incremental View Maintenance) implementation as a PostgreSQL extension

counterexamples

Counterexamples in Type Systems

countwords

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

pareas

GPU-accelerated compiler

rsc-regexp

Translations of a simple C program to Rust.

rust-sel4

Rust support for seL4 userspace

with_locals.rs

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

banzai

banzai: pure rust bzip2 encoder

regex-cursor

Port of the regex crate for use with ropes

rust-uninit

Read trait fixed to soundly work with uninitalized memory

2DTypes

Collaborative work on reversible computing

mashi

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

visibility.rs

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

ghosts.rs

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

custom-try.rs

Macro to customize the behavior of `?`

project-exploit-mitigations

Exploit Mitigations Project Group

cfg_eval.rs

`#[cfg_eval]` in stable Rust

higher-kinded-types.rs

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

unpanic

environment-impact-of-diets

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-eaters and meat-eaters in the UK show discrepant environmental impacts. Nature Food, 2023.

dyn_safe.rs

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

rsc-regexp

Translations of a simple C program to Rust.

own-ref.rs

`&own` references