Skip to content

@gwsystems The Embedded and Operating Systems group at GWU

All

    Repositories list

    49 repositories

    • composite

      Public
      A component-based OS
      componentsreal-timereliability
      componentsreal-timereliabilitycompositeosparallelismembedded-systems
      C
      •72•203•63•16•Updated Sep 27, 2026Sep 27, 2026

    • ps

      Public
      Parallel sections library for parallel data-structures
      datastructuresscalabilityparallel
      datastructuresscalabilityparallelparallelismdata-structuresparallel-sectionsquiescence
      C
      •
      BSD 2-Clause "Simplified" License
      •16•15•3•0•Updated Aug 30, 2026Aug 30, 2026

    • systems_musings

      Public
      Thoughts and links for unstructured chats about systems.
      3•10•0•0•Updated Aug 21, 2026Aug 21, 2026

    • sledge-serverless-framework

      Public
      SLEdge: a serverless runtime designed for the Edge.
      serverlessedge-computingwebassembly-runtime
      serverlessedge-computingwebassembly-runtime
      C
      •
      GNU General Public License v2.0
      •20•124•11•5•Updated Jul 21, 2026Jul 21, 2026

    • aWsm

      Public
      WebAssembly ahead-of-time compiler and runtime. Focuses on generating fast code, simplicity, and portability.
      compilerawesomenessllvm
      compilerawesomenessllvmwebassemblywasm
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •22•353•24•4•Updated Jul 13, 2026Jul 13, 2026

    • wasm_apps

      Public
      A runtime-neutral repo of third-party apps ported to WebAssembly.
      C
      •1•7•0•0•Updated Jun 22, 2026Jun 22, 2026

    • gocr

      Public
      Cloned gocr-0.50.tar.gz from http://jocr.sourceforge.net/download.html
      C
      •2•0•0•0•Updated Jun 19, 2026Jun 19, 2026

    • sod

      Public
      An Embedded Computer Vision & Machine Learning Library (CPU Optimized & IoT Capable)
      C
      •
      Other
      •211•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • dpdk

      Public
      Data Plane Development Kit
      C
      •1.5k•0•0•0•Updated Dec 22, 2023Dec 22, 2023

    • cmu-sod

      Public
      C
      •0•0•0•0•Updated Sep 28, 2022Sep 28, 2022

    • wast-preprocessor

      Public
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Aug 22, 2022Aug 22, 2022

    • sledge-prometheus-grafana

      Public
      A preconfigured prometheus and grafana deployment to display a custom dashboard for the SLEdge runtime.
      0•2•0•0•Updated Aug 4, 2022Aug 4, 2022

    • memcached

      Public
      memcached development tree
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •3.3k•0•0•0•Updated Aug 3, 2022Aug 3, 2022

    • lwip

      Public
      C
      •
      Other
      •1•0•0•0•Updated Jun 4, 2022Jun 4, 2022

    • TinyEKF

      Public
      Lightweight C/C++ Extended Kalman Filter with Python for prototyping
      C
      •
      Other
      •366•0•0•0•Updated Mar 18, 2022Mar 18, 2022

    • CMSIS_5_NN

      Public
      Trying CMSIS_5_NN
      Makefile
      •1•0•0•0•Updated Mar 17, 2022Mar 17, 2022

    • speechtotext

      Public
      A simple text-to-speech function modified to run under Sledge
      C
      •0•1•0•0•Updated Nov 4, 2021Nov 4, 2021

    • linux_bench

      Public
      Set of benchmarks for system calls on Linux. A focus on average and tail.
      C
      •
      BSD 2-Clause "Simplified" License
      •0•2•0•0•Updated Sep 18, 2021Sep 18, 2021

    • sunneed

      Public
      Testbed for power management
      C
      •
      GNU General Public License v2.0
      •4•4•2•1•Updated Aug 18, 2021Aug 18, 2021

    • wasmception

      Public
      Minimal C/C++ language toolset for building wasm files
      Makefile
      •21•0•0•0•Updated Mar 26, 2021Mar 26, 2021

    • llvm-rs

      Public
      LLVM wrappers for Rust
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •27•0•0•0•Updated Mar 24, 2021Mar 24, 2021

    • pocketsphinx

      Public
      PocketSphinx is a lightweight speech recognition engine, specifically tuned for handheld and mobile devices, though it works equally well on the desktop
      C
      •
      Other
      •729•0•0•0•Updated Mar 10, 2021Mar 10, 2021

    • sphinxbase

      Public
      C
      •
      Other
      •268•0•0•0•Updated Mar 10, 2021Mar 10, 2021

    • u-boot-xlnx

      Public
      The official Xilinx u-boot repository
      C
      •855•0•0•0•Updated Aug 28, 2020Aug 28, 2020

    • sparcfire

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

    • sel4bench

      Public
      sel4 benchmarking applications and support library.
      C
      •
      Other
      •39•0•0•0•Updated Aug 20, 2020Aug 20, 2020

    • u-boot

      Public
      "Das U-Boot" Source Tree
      C
      •4.8k•0•0•0•Updated 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 im…
      C
      •
      Other
      •338•0•0•0•Updated Jul 8, 2020Jul 8, 2020

    • CMSIS_5

      Public
      CMSIS Version 5 Development Repository
      C
      •
      Apache License 2.0
      •1.1k•0•0•0•Updated Jun 15, 2020Jun 15, 2020

    • zynq-mkbootimage

      Public
      An open source replacement of the Xilinx bootgen application.
      C
      •
      BSD 2-Clause "Simplified" License
      •59•0•0•0•Updated Jun 9, 2020Jun 9, 2020
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.