Skip to content
@kent-weak-memory

kent-weak-memory

Popular repositories Loading

  1. event-structure-compiler event-structure-compiler Public

    Compiles pseudo code into relational representations of Event Structures

    OCaml 1

  2. rust rust Public

    Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

    Rust 1 3

  3. rust-benchmarking-scripts rust-benchmarking-scripts Public

    Automated benchmarks used to generate data for the Rust for Morello paper

    Python 1 1

  4. so-lib so-lib Public

    SO Solver Library, extracted from PrideMM

    OCaml 1

  5. genmc genmc Public

    Forked from MPI-SWS/genmc

    Generic model checker for concurrent C programs

    C

  6. mrder mrder Public

    OCaml

Repositories

Showing 6 of 6 repositories
  • rust Public

    Experimental work-in-progress port of Rust to ARM's Morello capability-enabled ARM architecture

    kent-weak-memory/rust’s past year of commit activity
    Rust 1 3 0 0 Updated Nov 1, 2024
  • mrder Public
    kent-weak-memory/mrder’s past year of commit activity
    OCaml 0 0 0 1 Updated Mar 26, 2024
  • rust-benchmarking-scripts Public

    Automated benchmarks used to generate data for the Rust for Morello paper

    kent-weak-memory/rust-benchmarking-scripts’s past year of commit activity
    Python 1 1 0 0 Updated Oct 12, 2023
  • genmc Public Forked from MPI-SWS/genmc

    Generic model checker for concurrent C programs

    kent-weak-memory/genmc’s past year of commit activity
    C 0 GPL-3.0 19 0 0 Updated Oct 31, 2019
  • so-lib Public

    SO Solver Library, extracted from PrideMM

    kent-weak-memory/so-lib’s past year of commit activity
    OCaml 0 1 0 0 Updated Apr 22, 2019
  • event-structure-compiler Public

    Compiles pseudo code into relational representations of Event Structures

    kent-weak-memory/event-structure-compiler’s past year of commit activity
    OCaml 1 GPL-3.0 0 3 0 Updated Oct 13, 2017

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…