Pinned Repositories
cheri-examples
CHERI sample C programs
capability-behaviour-rs
cheri-examples
cheri-riscv sample c programs
cheribsd-capability-rs
cristianurlea.github.io
Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
morello-capability-rs
Library to interact with Morello Capabilities through Rust
selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
sorry_i_eat_guts
tytra
The TyTra project (http://tytra.org.uk/) on type-driven program transformations for heterogeneous and parallel computing.
cristianurlea's Repositories
cristianurlea/tytra
The TyTra project (http://tytra.org.uk/) on type-driven program transformations for heterogeneous and parallel computing.
cristianurlea/capability-behaviour-rs
cristianurlea/cheri-examples
cheri-riscv sample c programs
cristianurlea/cheribsd-capability-rs
cristianurlea/cristianurlea.github.io
cristianurlea/Flute
RISC-V CPU, simple 5-stage in-order pipeline, for low-end applications needing MMUs and some performance
cristianurlea/morello-capability-rs
Library to interact with Morello Capabilities through Rust
cristianurlea/selective
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
cristianurlea/sorry_i_eat_guts