-
-
-
-
-
verified-paging-for-x86-64-in-rust Public
Forked from matthias-brun/verified-paging-for-x86-64-in-rustThe artifacts for my master's thesis "Verified Paging for x86-64 in Rust"
Rust Other UpdatedMar 12, 2025 -
-
-
-
seL4_tools Public
Forked from seL4/seL4_toolsBasic tools for building seL4 projects
C Other UpdatedDec 6, 2023 -
sel4cp_vmm Public
Forked from au-ts/libvmmAn experimental VMM using the seL4 Core Platform
C UpdatedAug 22, 2023 -
-
-
sail Public
Forked from rems-project/sailSail architecture definition language
Standard ML Other UpdatedMar 31, 2023 -
apngasm Public
Forked from apngasm/apngasmThe next generation of apngasm, the APNG Assembler. The apngasm CLI tool and library can assemble and disassemble APNG image files.
C++ UpdatedOct 21, 2021 -
-
rust-blog Public
Forked from pretzelhammer/rust-blogEducational blog posts for Rust beginners
Rust Apache License 2.0 UpdatedJun 2, 2021 -
coqpit.vim Public
Forked from LumaKernel/coqpit.vimCoqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
Vim Script ISC License UpdatedFeb 10, 2021 -
-
-
-
-
-
solo5 Public
Forked from Solo5/solo5A sandboxed execution environment for unikernels
C ISC License UpdatedJun 10, 2020 -
-
julia Public
Forked from JuliaLang/juliaThe Julia Language: A fresh approach to technical computing.
Julia Other UpdatedApr 29, 2020 -
-
-
ubuntu Public
Forked from boxcutter/ubuntuVirtual machine templates for Ubuntu
Shell Apache License 2.0 UpdatedDec 29, 2019 -
julia-doc-ja Public
Forked from sorami/julia-doc-jaA Japanese translation of the Julia documentation
C UpdatedDec 24, 2015
{{ message }}