A secure, fast, and adaptable OS based on the seL4 microkernel

Answers to exercises in K&R's The C Programming Language (second Edition).

🦀 Small exercises to get you used to reading and writing Rust code!

A collection of awesome security hardening guides, tools and other resources

Capability-based Linux Runtime

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Emacs configuration for Rust

Trojan Source: Invisible Vulnerabilities

Linux Kernel Performance tests

PowerCLI Check and Remediation scripts for VMware

Build mindmaps with plain text

A general-purpose probabilistic programming system with programmable inference

Source code for 'Beginning C++17' by Ivor Horton and Peter Van Weert

Recommendations for secure applications development with Rust

Minimal supplement to upstream Kernel Self Protection Project changes. Features already provided by SELinux + Yama and archs other than multiarch arm64 / x86_64 aren't in scope. Only tags have stab…

Detection script for the ROBOT vulnerability

List of Data Science Cheatsheets to rule the world

Scibian package for ifs-kernel-updates

Generic Puppet Configuration for HPC Clusters

Code repo for xCAT core packages

Cluster Administration tools

Container tools for scientific computing! Docs at https://singularityhub.github.io/singularityhub-docs

Markdown Viewer / Browser Extension

Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html

Visual Studio Code

The Xapi Project's XenAPI Server

Mirror of https://gitlab.redox-os.org/redox-os/kernel

The exceptionally handsome dashboard framework in Ruby and Coffeescript.