Skip to content
Change the repository type filter

All

    Repositories list

    • Thoughts and links for unstructured chats about systems.
      2300Updated Nov 20, 2024Nov 20, 2024
    • wasm_apps

      Public
      A runtime-neutral repo of third-party apps ported to WebAssembly.
      C
      1600Updated Nov 10, 2024Nov 10, 2024
    • composite

      Public
      A component-based OS
      C
      711896317Updated Sep 4, 2024Sep 4, 2024
    • aWsm

      Public
      WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
      C
      BSD 3-Clause "New" or "Revised" License
      18309314Updated Aug 27, 2024Aug 27, 2024
    • SLEdge: a serverless runtime designed for the Edge.
      C
      GNU General Public License v2.0
      16110320Updated Jul 15, 2024Jul 15, 2024
    • gocr

      Public
      Cloned gocr-0.50.tar.gz from http://jocr.sourceforge.net/download.html
      C
      2000Updated Jun 11, 2024Jun 11, 2024
    • sod

      Public
      An Embedded Computer Vision & Machine Learning Library (CPU Optimized & IoT Capable)
      C
      Other
      213000Updated Apr 30, 2024Apr 30, 2024
    • dpdk

      Public
      Data Plane Development Kit
      C
      1.2k000Updated Dec 22, 2023Dec 22, 2023
    • ps

      Public
      Parallel sections library for parallel data-structures
      C
      BSD 2-Clause "Simplified" License
      141440Updated Oct 30, 2023Oct 30, 2023
    • cmu-sod

      Public
      C
      0000Updated Sep 28, 2022Sep 28, 2022
    • Rust
      BSD 3-Clause "New" or "Revised" License
      1000Updated Aug 22, 2022Aug 22, 2022
    • A preconfigured prometheus and grafana deployment to display a custom dashboard for the SLEdge runtime.
      0200Updated Aug 4, 2022Aug 4, 2022
    • memcached

      Public
      memcached development tree
      C
      BSD 3-Clause "New" or "Revised" License
      3.3k000Updated Aug 3, 2022Aug 3, 2022
    • lwip

      Public
      C
      Other
      1000Updated Jun 4, 2022Jun 4, 2022
    • TinyEKF

      Public
      Lightweight C/C++ Extended Kalman Filter with Python for prototyping
      C
      Other
      334000Updated Mar 18, 2022Mar 18, 2022
    • Trying CMSIS_5_NN
      Makefile
      1000Updated Mar 17, 2022Mar 17, 2022
    • A simple text-to-speech function modified to run under Sledge
      C
      0100Updated Nov 4, 2021Nov 4, 2021
    • Set of benchmarks for system calls on Linux. A focus on average and tail.
      C
      BSD 2-Clause "Simplified" License
      0200Updated Sep 18, 2021Sep 18, 2021
    • sunneed

      Public
      Testbed for power management
      C
      GNU General Public License v2.0
      4421Updated Aug 18, 2021Aug 18, 2021
    • Minimal C/C++ language toolset for building wasm files
      Makefile
      24000Updated Mar 26, 2021Mar 26, 2021
    • llvm-rs

      Public
      LLVM wrappers for Rust
      Rust
      BSD 3-Clause "New" or "Revised" License
      27000Updated Mar 24, 2021Mar 24, 2021
    • PocketSphinx is a lightweight speech recognition engine, specifically tuned for handheld and mobile devices, though it works equally well on the desktop
      C
      Other
      719000Updated Mar 10, 2021Mar 10, 2021
    • C
      Other
      271000Updated Mar 10, 2021Mar 10, 2021
    • The official Xilinx u-boot repository
      C
      788000Updated Aug 28, 2020Aug 28, 2020
    • sparcfire

      Public
      Jupyter Notebook
      BSD 3-Clause "New" or "Revised" License
      0000Updated Aug 27, 2020Aug 27, 2020
    • sel4bench

      Public
      sel4 benchmarking applications and support library.
      C
      Other
      30000Updated Aug 20, 2020Aug 20, 2020
    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      3.7k000Updated Jul 15, 2020Jul 15, 2020
    • ck

      Public
      Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
      C
      Other
      314000Updated Jul 8, 2020Jul 8, 2020
    • CMSIS_5

      Public
      CMSIS Version 5 Development Repository
      C
      Apache License 2.0
      1.1k000Updated Jun 15, 2020Jun 15, 2020
    • An open source replacement of the Xilinx bootgen application.
      C
      BSD 2-Clause "Simplified" License
      49000Updated Jun 9, 2020Jun 9, 2020