7 releases

0.3.0 Feb 23, 2022
0.2.0 Jun 23, 2021
0.1.4 Jun 12, 2021
0.1.3 May 14, 2021
0.1.0 Nov 15, 2020

#913 in Rust patterns

47 downloads per month



Ferrite - Session Types DSL for Rust

Crates.io Documentation Apache licensed Build Status


Ferrite is a DSL for writing session type programs in Rust. This is an ongoing research work by Soares Chen and Stephanie Balzer to implement session types in Rust.


A work-in-progress documentation for Ferrite is available as a book.

A draft technical report for Ferrite is currently available at Arxiv.

Build Instructions

cargo build

Running Demo

A number of demo executables are available in the src/bin directory. To run a particular demo, use cargo run with the name of the demo file. For example:

RUST_LOG=info cargo run --bin hello
RUST_LOG=info cargo run --bin shared

Code Organization


  • base - Core constructs for Ferrite
  • functional - Functional programming constructs such as type application and natural numbers.
  • protocol - Type definitions for session types
  • session - Term constructors
  • public.rs - Public API exposed by Ferrite



This material is based upon work supported by the National Science Foundation under Grant No. CCF-1718267. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.


~196K SLoC