Skip to content

@project-flexos FlexOS

Change the repository type filter

All

    Repositories list

    23 repositories

    • project-flexos.github.io

      Public
      FlexOS GitHub page.
      HTML
      •1•1•0•0•Updated Jan 27, 2025Jan 27, 2025

    • unikraft

      Public
      FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
      librarykernelos
      librarykernelososdevoperating-systemunikernelunikraftspecialized-osesultra-light-virtualizationcompartmentalization
      C
      •
      Other
      •1.5k•24•0•0•Updated Jun 2, 2023Jun 2, 2023

    • app-flexos-example

      Public
      FlexOS example application (application)
      C
      •2•0•0•0•Updated Jun 2, 2023Jun 2, 2023

    • kraft

      Public
      FlexOS fork of Unikraft's command-line companion tool
      Python
      •
      Other
      •43•0•0•1•Updated Jun 2, 2023Jun 2, 2023

    • lib-newlib

      Public
      newlib for FlexOS (library)
      C
      •
      Other
      •24•0•0•1•Updated Nov 28, 2022Nov 28, 2022

    • lib-zlib

      Public
      zlib for FlexOS (library)
      Other
      •11•0•0•0•Updated May 13, 2022May 13, 2022

    • app-zlib-example

      Public
      Example zlib app
      C
      •0•0•0•0•Updated May 13, 2022May 13, 2022

    • lib-flexos-example

      Public
      FlexOS example application (library)
      C
      •1•0•0•0•Updated May 13, 2022May 13, 2022

    • app-redis

      Public
      Redis for FlexOS (application)
      Makefile
      •14•0•1•0•Updated Apr 12, 2022Apr 12, 2022

    • asplos22-ae

      Public
      FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
      C
      •4•19•3•0•Updated Apr 2, 2022Apr 2, 2022

    • sqlite-splitsrc

      Public
      Generate sqlite sources with split amalgamation
      Shell
      •
      MIT License
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-nginx

      Public
      Nginx for FlexOS (application)
      Makefile
      •17•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-iperf

      Public
      iPerf benchmark for FlexOS (application)
      C
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-sqlite

      Public
      SQLite for FlexOS (application)
      C
      •8•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-redis

      Public
      Redis for FlexOS (library)
      C
      •
      Other
      •15•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-iperf

      Public
      iPerf benchmark for FlexOS (library)
      C
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-tlsf

      Public
      TLSF for FlexOS (library)
      C
      •8•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-pthread-embedded

      Public
      pthread-embedded for FlexOS (library)
      C
      •
      Other
      •12•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-sqlite

      Public
      SQLite for FlexOS (library)
      C
      •
      Other
      •10•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-flexos-microbenchmarks

      Public
      FlexOS microbenchmarks (library)
      C
      •1•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-flexos-microbenchmarks

      Public
      FlexOS microbenchmarks (application)
      C
      •2•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-nginx

      Public
      Nginx for FlexOS (library)
      C
      •
      Other
      •6•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-lwip

      Public
      lwip for FlexOS (library)
      C
      •40•0•0•0•Updated Dec 2, 2021Dec 2, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.