unsoundsystem's repositories
apngasm
The next generation of apngasm, the APNG Assembler. The apngasm CLI tool and library can assemble and disassemble APNG image files.
Language:C++000
coqpit.vim
Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
Language:Vim ScriptISC000
dotfiles-legacy
config files
Language:Vim Script000
julia
The Julia Language: A fresh approach to technical computing.
Language:JuliaNOASSERTION000
julia-doc-ja
A Japanese translation of the Julia documentation
Language:C000
rust-blog
Educational blog posts for Rust beginners
Language:RustApache-2.0000
sail
Sail architecture definition language
NOASSERTION000
seL4
The seL4 microkernel
Language:CNOASSERTION000
seL4_tools
Basic tools for building seL4 projects
Language:CNOASSERTION000
sel4cp_vmm
An experimental VMM using the seL4 Core Platform
000
solo5
A sandboxed execution environment for unikernels
Language:CISC000
ubuntu
Virtual machine templates for Ubuntu
Language:ShellApache-2.0000
Language:CNOASSERTION000