ABC: System for Sequential Logic Synthesis and Formal Verification

Butterfly matrix multiplication in PyTorch

Open source driver and user-space daemon to control Razer lighting and other features on GNU/Linux

The Abstraction and Reasoning Corpus

Rust Programming Fundamentals - one course to rule them all, one course to find them...

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

This extension provides support for editing MATLAB® code in Visual Studio® Code and includes features such as syntax highlighting, code analysis, navigation support, and more.

Learn how to design large scale systems. Prep for the system design interview.

An awesome list of helpful resources for students learning MATLAB & Simulink. List includes tips & tricks, tutorials, videos, cheat sheets, and opportunities to learn MATLAB & Simulink.

Animation engine for explanatory math videos

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.

A kernel designed to run one and only one application in a virtualized environment

A minimal kernel used as a reference implementation to support teaching activities.

C-based Unikernel

State of the art for unikernels

Unikernel and immutable infrastructures

Wiki for rump kernels

Ready-made packages of software for running on the Rumprun unikernel

The Rumprun unikernel and toolchain for various platforms

Deprecated mirror of NetBSD sources for buildrump.sh; use rumpkernel/src-netbsd

NetBSD sources for buildrump.sh

netmap backend for rump kernel networking

experiments with Linux native aio for rump kernel block device

Rump kernel hypercall library using fibers for threading

Running Applications on the NetBSD Rump Kernel

Full-stack support for running applications in POSIX userspace

buildbot builds of the buildrump.sh repo

Cut down NetBSD source for rump kernels