Skip to content
@stonysystems

stonysystems

A systems research group at Stony Brook

Popular repositories Loading

  1. depfast-ae depfast-ae Public

    Python 19 11

  2. rolis rolis Public

    Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions

    C++ 17 3

  3. dslabs-cpp dslabs-cpp Public

    C++ 8 23

  4. mako mako Public

    C++ 6 1

  5. automan automan Public

    AutoMan is a tool for generating distributed system implementations from Dafny protocol specifications.

    Dafny 2

  6. rusty-cpp rusty-cpp Public

Repositories

Showing 8 of 8 repositories
  • dslabs-cpp Public
    stonysystems/dslabs-cpp’s past year of commit activity
    C++ 8 MIT 23 0 1 Updated Oct 14, 2025
  • automan Public

    AutoMan is a tool for generating distributed system implementations from Dafny protocol specifications.

    stonysystems/automan’s past year of commit activity
    Dafny 2 MIT 0 0 0 Updated Aug 22, 2025
  • mako Public
    stonysystems/mako’s past year of commit activity
    C++ 6 MIT 1 0 0 Updated Aug 16, 2025
  • depfast-ae Public
    stonysystems/depfast-ae’s past year of commit activity
    Python 19 MIT 11 0 1 Updated Jan 9, 2025
  • orcanet-rust Public
    stonysystems/orcanet-rust’s past year of commit activity
    Rust 0 0 1 0 Updated Jan 2, 2025
  • orcanet-gui Public
    stonysystems/orcanet-gui’s past year of commit activity
    Dart 0 0 0 0 Updated Dec 9, 2024
  • rusty-cpp Public
    stonysystems/rusty-cpp’s past year of commit activity
    0 0 0 0 Updated Jul 18, 2024
  • rolis Public

    Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions

    stonysystems/rolis’s past year of commit activity
    C++ 17 MIT 3 0 0 Updated Feb 28, 2024

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…