Skip to content
View kissake's full-sized avatar
3 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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to 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 179 72 Updated Mar 31, 2026

lucypa / sDDF

seL4 Device Driver Framework

C 23 11 Updated Dec 7, 2023

seL4 / docs

This is the source of the seL4 docs.

HTML 18 61 Updated Apr 8, 2026

seL4 / l4v

seL4 specification and proofs

Isabelle 597 117 Updated Apr 7, 2026

seL4 / seL4_tools

Basic tools for building seL4 projects

C 53 106 Updated Apr 5, 2026

seL4 / capdl

Capability Distribution Language tools for seL4

Haskell 38 48 Updated Mar 31, 2026

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Python 58 58 Updated Mar 31, 2026

seL4 / seL4

The seL4 microkernel

C 5,413 756 Updated Apr 7, 2026

erwan2212 / tinypxeserver

VBScript 122 37 Updated Mar 3, 2021

Psycojoker / prosopopee

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

HTML 370 60 Updated Nov 2, 2025

very-undude / ultimatedeployment

Ultimate Deployment Applicance

Perl 34 5 Updated Apr 2, 2024