Repositories list

• rust

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

  rustrust-langcheri+ 1morello

  Rust

  •

  Other

  •3•1•0•0•Updated Dec 13, 2024Dec 13, 2024

• mrder

  Public
  OCaml

  •0•0•0•1•Updated Mar 26, 2024Mar 26, 2024

• rust-benchmarking-scripts

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

  Python

  •1•1•0•0•Updated Oct 12, 2023Oct 12, 2023

• genmc

  Public
  Generic model checker for concurrent C programs

  C

  •

  GNU General Public License v3.0

  •21•0•0•0•Updated Oct 31, 2019Oct 31, 2019

• so-lib

  Public
  SO Solver Library, extracted from PrideMM

  OCaml

  •1•0•0•0•Updated Apr 22, 2019Apr 22, 2019

• event-structure-compiler

  Public
  Compiles pseudo code into relational representations of Event Structures

  OCaml

  •

  GNU General Public License v3.0

  •0•1•3•0•Updated Oct 13, 2017Oct 13, 2017