kernkonzept/fiasco

The development version of the L4Re Microkernel

GitHub repository with 163 stars and 43 forks.

Language: C++

Topics: microkernel, hypervisor, l4, virtualization, arm, mips, x86, realtime, operating-system

Open provider repository

24h trend summary

Trending score 0.05, activity score 0.05, stars gained not enough history, forks gained not enough history.

Latest metric snapshot

2026-06-05: 163 stars and 43 forks.

Similar repositories

  1. 1. Supercip971/WingOS

    a little 64bit microkernel based operating system written in c++ with smp support

    GitHub repository with 772 stars and 23 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: 64bit, kernel, operating-system, cpp, osdev, wingos

  2. 2. managarm/managarm

    Pragmatic microkernel-based OS with fully asynchronous I/O

    GitHub repository with 1,927 stars and 98 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: asynchronous-io, hacktoberfest, microkernel, modern-cpp, operating-system, posix-compatible

  3. 3. kernkonzept/l4re-core

    The core components of the L4Re operating system.

    GitHub repository with 104 stars and 27 forks.

    Trending score: 0.05.

    Language: C++

    Topics: multiserver, l4, arm, mips, x86, microkernel

  4. 4. kernkonzept/fiasco

    The development version of the L4Re Microkernel

    GitHub repository with 163 stars and 43 forks.

    Trending score: 0.05.

    Language: C++

    Topics: microkernel, hypervisor, l4, virtualization, arm, mips

Trending in C++

  1. 1. ggml-org/llama.cpp

    LLM inference in C/C++

    GitHub repository with 114,804 stars and 19,208 forks.

    Trending score: 4.40; stars gained: +304; forks gained: +99.

    Language: C++

    Topics: ggml

  2. 2. duckdb/duckdb

    DuckDB is an analytical in-process SQL database management system

    GitHub repository with 38,625 stars and 3,301 forks.

    Trending score: 3.50; stars gained: +40; forks gained: +6.

    Language: C++

    Topics: analytics, database, embedded-database, olap, sql

  3. 3. vllm-project/vllm-ascend

    Community maintained hardware plugin for vLLM on Ascend

    GitHub repository with 2,201 stars and 1,350 forks.

    Trending score: 3.25; stars gained: +16; forks gained: +22.

    Language: C++

    Topics: ascend, inference, llm, llm-serving, llmops, mlops

  4. 4. ClickHouse/ClickHouse

    ClickHouse® is a real-time analytics database management system

    GitHub repository with 47,840 stars and 8,471 forks.

    Trending score: 2.96; stars gained: +53; forks gained: +10.

    Language: C++

    Topics: ai, analytics, big-data, clickhouse, cloud-native, cpp

  5. 5. LadybirdBrowser/ladybird

    Truly independent web browser

    GitHub repository with 63,807 stars and 3,076 forks.

    Trending score: 2.89; stars gained: +52; forks gained: +5.

    Language: C++

    Topics: browser, browser-engine

Trending topic: microkernel

  1. 1. redox-os/redox

    Mirror of https://gitlab.redox-os.org/redox-os/redox

    GitHub repository with 16,365 stars and 1,007 forks.

    Trending score: 1.10; stars gained: +13; forks gained: +1.

    Language: Rust

    Topics: redox, rust, microkernel, operating-system, bsd, freebsd

  2. 2. iss4cf0ng/OpenPetya

    A Proof-of-Concept bootkit inspired by Petya ransomware, written in Assembly, C, and C++

    GitHub repository with 235 stars and 42 forks.

    Trending score: 0.69; stars gained: +4; forks gained: +1.

    Language: C

    Topics: assembly, bootkit, bootloader, c-language, cpp, microkernel

  3. 3. BoredOS/BoredOS

    A modern x86_64 hobbyist operating system built from the ground up.

    GitHub repository with 181 stars and 23 forks.

    Trending score: 0.49; stars gained: +2; forks gained: +0.

    Language: C

    Topics: assembly, c, hobbyos, microkernel, osdev

  4. 4. JonasKruckenberg/k23

    Experimental WASM Microkernel Operating System

    GitHub repository with 640 stars and 42 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: microkernel, operating-system, research, wasm

  5. 5. Supercip971/WingOS

    a little 64bit microkernel based operating system written in c++ with smp support

    GitHub repository with 772 stars and 23 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: C++

    Topics: 64bit, kernel, operating-system, cpp, osdev, wingos

  6. 6. shizuku198411/Rk-C

    microkernel for RISC-V 64bit

    GitHub repository with 13 stars and 0 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Nim

    Topics: kernel, microkernel, nim, nim-lang, risc-v64, riscv64