8000 kissake / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View kissake's full-sized avatar
2 followers · 3 following

Block or report kissake

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Stars

Showing results

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel

Rust 118 55 Updated Apr 10, 2025

lucypa / sDDF

seL4 Device Driver Framework

C 23 11 Updated Dec 7, 2023

seL4 / docs

This is the source of the seL4 docs.

C 16 55 Updated May 19, 2025

seL4 / l4v

seL4 specification and proofs

Isabelle 545 110 Updated May 13, 2025

seL4 / seL4_tools

Basic tools for building seL4 projects

C 47 90 Updated May 16, 2025

seL4 / capdl

Capability Distribution Language tools for seL4

Haskell 35 46 Updated Mar 17, 2025

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Python 55 55 Updated May 6, 2025

seL4 / seL4

The seL4 microkernel

C 4,936 695 Updated May 9, 2025

erwan2212 / tinypxeserver

VBScript 90 27 Updated Mar 3, 2021

Psycojoker / prosopopee

a static website generator to make beautiful customizable pictures galleries that tell a story

HTML 347 58 Updated Jun 15, 2024

very-undude / ultimatedeployment

Ultimate Deployment Applicance

Perl 33 5 Updated Apr 2, 2024
0