Skip to content
@ferrite-rs

Ferrite

Session Types DSL in Rust

Pinned Loading

  1. ferrite ferrite Public

    Session Type EDSL for Rust

    Rust 97 10

  2. ferrite-book ferrite-book Public

    Rust 1

  3. ferrite-tutorial ferrite-tutorial Public

    Ferrite tutorial exercises for OPLSS

    Rust 3 2

  4. ferrite-doc ferrite-doc Public

    HTML

Repositories

Showing 9 of 9 repositories
  • ferrite-book Public
    ferrite-rs/ferrite-book’s past year of commit activity
    Rust 0 Apache-2.0 1 0 2 Updated Nov 27, 2022
  • ferrite-doc Public
    ferrite-rs/ferrite-doc’s past year of commit activity
    HTML 0 0 0 0 Updated Jun 29, 2022
  • ferrite Public

    Session Type EDSL for Rust

    ferrite-rs/ferrite’s past year of commit activity
    Rust 97 Apache-2.0 10 0 0 Updated Jun 29, 2022
  • servo Public Forked from servo/servo

    The Servo Browser Engine

    ferrite-rs/servo’s past year of commit activity
    Rust 0 MPL-2.0 3,065 0 0 Updated Feb 23, 2022
  • rumpsteak Public Forked from zakcutner/rumpsteak

    🍖 Session types for asynchronous communication between multiple parties.

    ferrite-rs/rumpsteak’s past year of commit activity
    Rust 0 MIT 7 0 0 Updated Feb 3, 2022
  • ferrite-tutorial Public

    Ferrite tutorial exercises for OPLSS

    ferrite-rs/ferrite-tutorial’s past year of commit activity
    Rust 3 2 0 1 Updated Aug 14, 2021
  • ferrite-tutorial-answer Public

    Ferrite tutorial with answer

    ferrite-rs/ferrite-tutorial-answer’s past year of commit activity
    Rust 0 0 0 0 Updated Jun 24, 2021
  • motionmark Public

    Fork of MotionMark

    ferrite-rs/motionmark’s past year of commit activity
    JavaScript 0 1 0 0 Updated Apr 7, 2021
  • raqote Public Forked from jrmuizel/raqote

    Rust 2D graphics library

    ferrite-rs/raqote’s past year of commit activity
    Rust 0 BSD-3-Clause 61 0 0 Updated Feb 22, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…