Benjamin Lamowski (atopia)

atopia

Geek Repo

Company:@genodelabs

Home Page:https://www.lamowski.net/

Github PK Tool:Github PK Tool

Benjamin Lamowski's repositories

sandcrust

Sandboxing C in Rust

Language:RustLicense:Apache-2.0Stargazers:16Issues:2Issues:0

rust

A safe, concurrent, practical language.

Language:RustLicense:NOASSERTIONStargazers:1Issues:0Issues:0
Language:HTMLStargazers:0Issues:0Issues:0

cantata

Qt5 Graphical MPD Client

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

genode

Genode OS Framework

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

genode-world

Collection of community-maintained components for Genode

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

goa

Tool for streamlining the development of Genode applications

Language:TclLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

libc

Raw bindings to platform APIs for Rust

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

libexecinfo

libexecinfo for `execinfo.h` in musl systems

Language:CStargazers:0Issues:0Issues:0

rustl4re

This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream projects.

Stargazers:0Issues:0Issues:0
Language:RustStargazers:0Issues:0Issues:0

way-cooler

Customizable Wayland compositor (window manager)

Language:RustLicense:MITStargazers:0Issues:0Issues:0

NOVA

NOVA Microhypervisor

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0
License:NOASSERTIONStargazers:0Issues:0Issues:0

seoul

A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.

License:GPL-2.0Stargazers:0Issues:0Issues:0