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 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 164 63 Updated Nov 28, 2025

lucypa / sDDF

seL4 Device Driver Framework

C 22 11 Updated Dec 7, 2023

seL4 / docs

This is the source of the seL4 docs.

HTML 18 59 Updated Dec 21, 2025

seL4 / l4v

seL4 specification and proofs

Isabelle 582 116 Updated Dec 19, 2025

seL4 / seL4_tools

Basic tools for building seL4 projects

C 52 100 Updated Dec 9, 2025

seL4 / capdl

Capability Distribution Language tools for seL4

Haskell 37 48 Updated Nov 25, 2025

seL4 / sel4-tutorials

Tutorials for working with seL4 and/or CAmkES.

Python 57 57 Updated Jul 15, 2025

seL4 / seL4

The seL4 microkernel

C 5,208 729 Updated Dec 19, 2025

erwan2212 / tinypxeserver

VBScript 115 37 Updated Mar 3, 2021

Psycojoker / prosopopee

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

HTML 363 58 Updated Nov 2, 2025

very-undude / ultimatedeployment

Ultimate Deployment Applicance

Perl 33 5 Updated Apr 2, 2024