8000 embecosm-cheri repositories · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

@embecosm-cheri Embecosm CHERI

Change the repository type filter

All

    Repositories list

    33 repositories

    • rust-cheri

      Public
      Fork of Rust adding CHERI support
      Rust
      •
      Other
      •5•0•0•0•Updated Feb 26, 2025Feb 26, 2025

    • gdb

      Public
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • wait-timeout-cheri

      Public
      Waiting on a child process with a timeout in Rust
      Rust
      •
      Apache License 2.0
      •19•0•0•0•Updated Dec 11, 2024Dec 11, 2024

    • libc-cheri

      Public
      Raw bindings to platform APIs for Rust
      Rust
      •
      Apache License 2.0
      •1.1k•0•0•1•Updated Nov 15, 2024Nov 15, 2024

    • stdarch

      Public
      Rust's standard library vendor-specific APIs and run-time feature detection
      Rust
      •
      Apache License 2.0
      •296•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • backtrace-rs-cheri

      Public
      Backtraces in Rust
      Rust
      •
      Other
      •263•0•0•0•Updated Oct 8, 2024Oct 8, 2024

    • libffi-cheri

      Public
      Rust bindings for libffi
      C
      •
      Apache License 2.0
      •50•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • llvm-project-cheri

      Public
      Fork of LLVM adding CHERI support
      53•0•0•0•Updated Aug 13, 2024Aug 13, 2024

    • rust-cheri-toolchain

      Public
      Central repository for utility, building and testing scripts for Rust/CHERI
      Shell
      •1•1•0•0•Updated Jul 22, 2024Jul 22, 2024

    • nix-cheri

      Public
      Rust friendly bindings to *nix APIs
      Rust
      •
      MIT License
      •700•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • rustix-cheri

      Public
      Safe Rust bindings to POSIX-ish APIs
      Rust
      •
      Other
      •204•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • mio-cheri

      Public
      Metal I/O library for Rust.
      Rust
      •
      MIT License
      •782•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • bytes-cheri

      Public
      Utilities for working with bytes
      Rust
      •
      MIT License
      •313•0•0•0•Updated May 29, 2024May 29, 2024

    • tokio-cheri

      Public
      A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
      Rust
      •
      MIT License
      •2.7k•0•0•0•Updated May 16, 2024May 16, 2024

    • morello-linux

      Public
      Shell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated May 15, 2024May 15, 2024

    • cc-rs-cheri

      Public
      Rust library for build scripts to compile C/C++ code into a Rust library
      Rust
      •
      Apache License 2.0
      •519•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • single-instance-cheri

      Public
      A rust library for single instance application.
      Rust
      •
      MIT License
      •9•0•0•0•Updated Nov 20, 2023Nov 20, 2023

    • ring-cheri

      Public
      Safe, fast, small crypto using Rust
      Assembly
      •
      Other
      •763•0•0•0•Updated Nov 17, 2023Nov 17, 2023

    • hyper-rustls-cheri

      Public
      Integration between hyper HTTP library and rustls TLS stack
      Rust
      •
      Other
      •156•0•0•0•Updated Nov 16, 2023Nov 16, 2023

    • rustls-webpki-cheri

      Public
      WebPKI X.509 Certificate Validation in Rust
      Rust
      •
      Other
      •63•0•0•0•Updated Nov 16, 2023Nov 16, 2023

    • sct.rs-cheri

      Public
      Certificate transparency SCT verification library in rust
      Rust
      •
      Other
      •40•0•0•0•Updated Nov 10, 2023Nov 10, 2023

    • rustls-cheri

      Public
      A modern TLS library in Rust
      Rust
      •
      Other
      •727•0•0•0•Updated Nov 10, 2023Nov 10, 2023

    • getrandom-cheri

      Public
      A small cross-platform library for retrieving random data from (operating) system source
      Rust
      •
      Apache License 2.0
      •216•0•0•0•Updated Oct 13, 2023Oct 13, 2023

    • webpki-cheri

      Public
      WebPKI X.509 Certificate Validation in Rust
      Rust
      •
      Other
      •166•0•0•0•Updated Oct 11, 2023Oct 11, 2023

    • rust-bindgen-cheri

      Public
      Automatically generates Rust FFI bindings to C (and some C++) libraries.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •757•0•0•0•Updated Sep 26, 2023Sep 26, 2023

    • rust-ctrlc-cheri

      Public
      Easy Ctrl-C handler for Rust projects
      Rust
      •
      Other
      •86•0•0•0•Updated Aug 25, 2023Aug 25, 2023

    • linux-raw-sys-cheri

      Public
      Generated bindings for Linux's userspace API
      Rust
      •
      Other
      •43•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • time-cheri

      Public
      The most used Rust library for date and time handling.
      Rust
      •
      Apache License 2.0
      •284•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • cty-cheri

      Public
      Type aliases to C types like c_int for use with bindgen
      Rust
      •
      Apache License 2.0
      •23•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • signal-hook-cheri

      Public
      Rust library allowing to register multiple handlers for the same signal
      Rust
      •
      Apache License 2.0
      •79•0•0•0•Updated Aug 23, 2023Aug 23, 2023
    0