Repositories list

• we-moved

  Public archive
  Placeholder to redirect people to https://opensecura.googlesource.com/

  Apache License 2.0

  •11 fork•22 stars•00 issues•00 pull requests•Updated Jan 4, 2024Jan 4, 2024

• sparrow-kernel

  Public archive
  The seL4 microkernel

  C

  •

  Other

  •791791 forks•2626 stars•00 issues•00 pull requests•Updated Sep 6, 2023Sep 6, 2023

• sparrow-scripts-full

  Public archive
  Shell

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Sep 6, 2023Sep 6, 2023

• sparrow-cantrip-full

  Public archive
  Rust

  •

  Apache License 2.0

  •44 forks•1010 stars•22 issues•11 pull request•Updated Sep 6, 2023Sep 6, 2023

• sparrow-build

  Public archive
  C

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 6, 2023Sep 6, 2023

• sparrow-util_libs

  Public archive
  C

  •

  Other

  •100100 forks•11 star•00 issues•00 pull requests•Updated Aug 3, 2023Aug 3, 2023

• sparrow-capdl

  Public archive
  Capability Distribution Language tools for seL4

  Haskell

  •5050 forks•11 star•00 issues•00 pull requests•Updated Aug 3, 2023Aug 3, 2023

• sparrow-camkes-tool

  Public archive
  The main CAmkES tool

  Python

  •

  Other

  •7373 forks•22 stars•00 issues•00 pull requests•Updated Aug 3, 2023Aug 3, 2023

• sparrow-seL4_tools

  Public archive
  Basic tools for building seL4 projects

  C

  •

  Other

  •106106 forks•11 star•00 issues•00 pull requests•Updated Jul 11, 2023Jul 11, 2023

• sparrow-manifest

  Public archive
  Project Sparrow: Repo Materials

  Apache License 2.0

  •55 forks•2323 stars•44 issues•11 pull request•Updated Jul 7, 2023Jul 7, 2023

• trace-based-model

  Public archive
  Python

  •

  Apache License 2.0

  •22 forks•77 stars•00 issues•00 pull requests•Updated May 23, 2023May 23, 2023

• iree-rv32-springbok

  Public archive
  CMake

  •

  Apache License 2.0

  •99 forks•2323 stars•00 issues•00 pull requests•Updated Mar 15, 2023Mar 15, 2023

• sparrow-sel4test

  Public archive
  Test suite for seL4.

  C

  •

  Other

  •7373 forks•11 star•00 issues•00 pull requests•Updated Feb 14, 2023Feb 14, 2023

• sparrow-sel4runtime

  Public archive
  A minimal runtime for seL4 applications.

  C

  •

  Other

  •3434 forks•22 stars•00 issues•00 pull requests•Updated Feb 14, 2023Feb 14, 2023

• .allstar

  Public archive
  11 fork•11 star•00 issues•00 pull requests•Updated Dec 6, 2022Dec 6, 2022

• sparrow-kata-full

  Public archive
  Rust

  •

  Apache License 2.0

  •66 forks•88 stars•00 issues•00 pull requests•Updated Nov 30, 2022Nov 30, 2022

• ibex

  Public archive
  Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

  SystemVerilog

  •

  Apache License 2.0

  •775775 forks•22 stars•00 issues•22 pull requests•Updated Oct 31, 2022Oct 31, 2022

• .github

  Public archive
  00 forks•11 star•00 issues•00 pull requests•Updated Oct 26, 2022Oct 26, 2022

• sparrow-seL4_libs

  Public archive
  No-assurance libraries for rapid-prototyping of seL4 apps.

  C

  •

  Other

  •7777 forks•11 star•00 issues•00 pull requests•Updated Oct 11, 2022Oct 11, 2022

• sparrow-scripts

  Public archive
  Project Sparrow: Build Scripts

  Shell

  •

  Apache License 2.0

  •11 fork•11 star•00 issues•00 pull requests•Updated Aug 18, 2022Aug 18, 2022

• malamute

  Public archive
  Apache License 2.0

  •22 forks•33 stars•00 issues•00 pull requests•Updated Aug 16, 2022Aug 16, 2022