PHP

symfony-micro

Use Symfony as a microframework.

3.1k

PHP

快速查看 比較

  11.6k

C/C++

rt-thread

RT-Thread is an open source IoT operating system from China....

2.9k

C

快速查看 比較

  4.1k

未分类

Compojure

适用于 Ring/Clojure 的简明路由库。「A concise routing library for Ring/...

2.2k

Clojure

快速查看 比較

  15.8k

未分类

redox

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

2.7k

Makefile

快速查看 比較

  2.4k

Rust

nebulet

(Going to be) A microkernel that implements a WebAssembly "u...

2.8k

Rust

快速查看 比較

  1.2k

操作系统

genode

Genode OS 框架是一个开源工具包，用于构建高度安全的基于组件的操作系统。 它可以从嵌入式设备扩展到动态通用计算。...

3.8k

C++

快速查看 比較

  5.2k

C/C++

seL4

The seL4 microkernel

2.4k

C

快速查看 比較

Rust

resea

A pure microkernel-based hackable operating system.

2.5k

C

快速查看 比較