Skip to content

@betrusted-io betrusted

Change the repository type filter

All

    Repositories list

    89 repositories

    • xous-core

      Public
      The Xous microkernel
      rust
      Rust
      •
      Apache License 2.0
      •85•543•55•2•Updated Dec 23, 2024Dec 23, 2024

    • hashes

      Public
      Collection of cryptographic hash functions written in pure Rust
      Rust
      •256•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • rust-nightly

      Public
      Nightly build of Rust
      Shell
      •0•2•0•0•Updated Dec 5, 2024Dec 5, 2024

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•8•0•0•Updated Dec 2, 2024Dec 2, 2024

    • simple-fatfs

      Public
      A simple-to-use FAT filesystem library for Rust (mainly targeted at embedded systems)
      Rust
      •
      MIT License
      •1•0•0•0•Updated Nov 20, 2024Nov 20, 2024

    • curve25519-dalek

      Public
      A pure-Rust implementation of group operations on Ristretto and Curve25519
      Rust
      •476•7•0•0•Updated Sep 22, 2024Sep 22, 2024

    • tts-backend

      Public
      API for text to speech backends
      Rust
      •
      Apache License 2.0
      •0•6•0•0•Updated Sep 22, 2024Sep 22, 2024

    • betrusted-scripts

      Public
      Shell scripts for debugging and flashing betrusted
      Python
      •
      GNU General Public License v3.0
      •6•4•0•1•Updated Sep 21, 2024Sep 21, 2024

    • sigchat

      Public
      Stand-alone build for sigchat, a Xous app
      Rust
      •
      Other
      •1•9•0•0•Updated Jul 18, 2024Jul 18, 2024

    • xous-book

      Public
      Documentation on the Xous operating system
      Rust
      •
      Apache License 2.0
      •4•30•0•0•Updated Jun 28, 2024Jun 28, 2024

    • crate-scraper

      Public
      A script for scraping and storing cargo crates
      Rust
      •0•15•0•0•Updated May 30, 2024May 30, 2024

    • factory-newify

      Public
      Scripts to re-create a unit with a factory release (for upgrade & regression testing only)
      Shell
      •0•0•0•0•Updated May 30, 2024May 30, 2024

    • bootstrap-mainboard

      Public
      Python
      •
      Apache License 2.0
      •0•9•0•0•Updated May 30, 2024May 30, 2024

    • compiler-builtins

      Public
      Porting `compiler-rt` intrinsics to Rust
      Rust
      •
      Other
      •212•0•0•0•Updated May 22, 2024May 22, 2024

    • xous-semver

      Public
      A compact, cross-device utility for handling semantic versioning.
      Rust
      •0•2•0•0•Updated May 20, 2024May 20, 2024

    • engine25519-as

      Public
      macro assembler for curve25519 engine
      Rust
      •
      GNU General Public License v3.0
      •1•2•0•0•Updated Mar 25, 2024Mar 25, 2024

    • ring-xous

      Public
      Pure-Rust port of Ring for 32-bit embedded targets.
      Assembly
      •
      Other
      •710•12•0•0•Updated Feb 11, 2024Feb 11, 2024

    • getrandom

      Public
      A small cross-platform library for retrieving random data from (operating) system source
      Rust
      •
      Apache License 2.0
      •186•0•0•0•Updated Feb 8, 2024Feb 8, 2024

    • yove

      Public
      Virtual machine emulator for Xous
      Rust
      •0•1•0•0•Updated Jan 10, 2024Jan 10, 2024

    • betrusted-ec

      Public
      Betrusted embedded controller (UP5K)
      Rust
      •
      Other
      •6•45•2•0•Updated Dec 22, 2023Dec 22, 2023

    • smoltcp

      Public
      a smol tcp/ip stack
      Rust
      •
      BSD Zero Clause License
      •434•0•0•0•Updated Dec 22, 2023Dec 22, 2023

    • xous-usb-hid

      Public
      Batteries included rust USB HID library for usb-device (Xous fork)
      Rust
      •
      MIT License
      •23•5•0•0•Updated Dec 2, 2023Dec 2, 2023

    • betrusted-soc

      Public
      Betrusted main SoC design
      Verilog
      •
      Other
      •24•139•2•0•Updated Nov 24, 2023Nov 24, 2023

    • gateware-ci

      Public
      CI skeleton for building gateware
      Verilog
      •
      Other
      •1•1•0•0•Updated Nov 24, 2023Nov 24, 2023

    • gateware

      Public
      IP submodules, formatted for easier CI integration
      Verilog
      •
      Other
      •5•29•2•0•Updated Nov 24, 2023Nov 24, 2023

    • jtag-trace

      Public
      Jtag parsing scripts
      Python
      •
      GNU General Public License v3.0
      •6•11•0•1•Updated Oct 14, 2023Oct 14, 2023

    • CTAP2-test-tool

      Public
      Test tool for CTAP2 authenticators
      C++
      •
      Apache License 2.0
      •26•0•0•0•Updated Sep 18, 2023Sep 18, 2023

    • wfx-fullMAC-driver

      Public
      Silicon Laboratories WFx Wi-Fi Full-MAC driver
      C
      •9•1•0•0•Updated May 7, 2023May 7, 2023

    • pythondata-cpu-vexriscv

      Public
      Python module containing verilog files for vexriscv cpu (for use with LiteX).
      Verilog
      •39•1•0•0•Updated Feb 24, 2023Feb 24, 2023

    • VexRiscv

      Public
      A FPGA friendly 32 bit RISC-V CPU implementation
      Assembly
      •
      MIT License
      •421•2•0•0•Updated Feb 24, 2023Feb 24, 2023