Control panel for ANU Rocketry's liquid rocket engine testing platform

Otterlang programming language 🦦

A roadmap for those who want to build a career as an FPGA / ASIC Engineer

Guide and relevant files for running sel4 systems on Raspberry Pi's.

Ariane is a 6-stage RISC-V CPU

Magnificent app which corrects your previous console command.

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.

The seL4 microkernel

Microkit - A simple operating system framework for the seL4 microkernel

Intentionally corrupt STM32 flash to test code handling the flash ECCD interrupt

i3-compatible Wayland compositor

MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems

Multi-user server for Jupyter notebooks

Jupyter Interactive Notebook

JupyterLab computational environment.

Jupyter metapackage for installation and documentation

Tensors and Dynamic neural networks in Python with strong GPU acceleration

Flexible and powerful data analysis / manipulation library for Python, providing labeled data structures similar to R data.frame objects, statistical functions, and much more

Deep Learning for humans

An Open Source Machine Learning Framework for Everyone

SciPy library main repository

The fundamental package for scientific computing with Python.

Training for Golang (go language)

Vim-fork focused on extensibility and usability