A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Safe interop between Rust and C++

Auditing crates for unsafe code which can be safely replaced

Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]

revng: the core repository of the rev.ng project

Binary Analysis Platform

Jane Street's standard library overlay (kernel)

Haskell bindings for the EVE API

An implementation of substructural intuitionistic logic focused on forward chaining

A Haskell Library for Binary Analysis

Linux kernel source tree

An implementation of substructural intuitionistic logic focused on forward chaining

Record/Replay for syscall streams

Platform Independent Tracing for Haskell

Haskell PTrace Bindings

Haskell Basecode for the 411 Compiler Project

Derivation of C-like Storable Instances

(Eventually) a reasonably complete ARM implementation in Haskell