Skip to content
@mirage-shakti-iitm

mirage-shakti-iitm

Home of OCaml programming on Shakti

Popular repositories Loading

  1. mirage-riscv mirage-riscv Public

    C 5

  2. ocaml-riscv ocaml-riscv Public

    Forked from kayceesrk/riscv-ocaml

    RISC-V port of the OCaml system

    OCaml 1

  3. ocaml-freestanding-riscv ocaml-freestanding-riscv Public

    C 1

  4. baremetal-linker-riscv baremetal-linker-riscv Public

    1

  5. llvm-project llvm-project Public

    LLVM Repo maintaned for Shakti-TEE related projects

    C++ 1

  6. opam-cross-shakti opam-cross-shakti Public

    3

Repositories

Showing 10 of 51 repositories
  • mirage-shakti-iitm/fides-crypto-demo’s past year of commit activity
    OCaml 0 0 0 0 Updated Oct 13, 2024
  • mirage-shakti-iitm/mirage-time-riscv’s past year of commit activity
    OCaml 0 ISC 0 0 0 Updated Sep 19, 2024
  • mirage-shakti-iitm/mirage-riscv’s past year of commit activity
    C 5 ISC 0 1 (1 issue needs help) 0 Updated Sep 19, 2024
  • mirage-shakti-iitm/mirage-random-riscv’s past year of commit activity
    OCaml 0 ISC 0 0 0 Updated Sep 19, 2024
  • mirage-shakti-iitm/mirage-logs-riscv’s past year of commit activity
    Assembly 0 BSD-2-Clause 0 0 0 Updated Sep 19, 2024
  • mirage-crypto-riscv Public

    Cryptographic primitives for MirageOS

    mirage-shakti-iitm/mirage-crypto-riscv’s past year of commit activity
    OCaml 0 ISC 0 0 0 Updated Sep 19, 2024
  • mirage-shakti-iitm/mirage-clock-riscv’s past year of commit activity
    OCaml 0 0 0 0 Updated Sep 19, 2024
  • mirage-bootvar-riscv Public

    RiscV implementation of MirageOS Bootvar interface

    mirage-shakti-iitm/mirage-bootvar-riscv’s past year of commit activity
    OCaml 0 ISC 0 0 0 Updated Sep 19, 2024
  • mirage Public Forked from mirage/mirage

    MirageOS is a library operating system that constructs unikernels

    mirage-shakti-iitm/mirage’s past year of commit activity
    OCaml 0 ISC 261 0 0 Updated Sep 19, 2024
  • mirage-shakti-iitm/metrics-riscv’s past year of commit activity
    OCaml 0 ISC 0 0 0 Updated Sep 19, 2024

Top languages

Loading…

Most used topics

Loading…