Stars
Learning operating system development using Linux kernel and Raspberry Pi
Conan - The open-source C and C++ package manager
Standalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.
Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/
This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.
A bare metal USB driver for Raspberry Pi 1-3 written in C
A collection of TLA⁺ specifications of varying complexities.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A simple Terraform provider to interact with EfficientIP's SOLIDServer
Configure external DNS servers dynamically from Kubernetes resources
Total Parser Combinators in Coq [maintainer=@womeier]
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Dafny is a verification-aware programming language
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
The mathematical study of type theories, in univalent foundations
xoreaxeaxeax / sandsifter
Forked from Battelle/sandsifterThe x86 processor fuzzer
Protocol Buffers - Google's data interchange format
The JDEE is an add-on software package that turns Emacs into a comprehensive system for creating, editing, debugging, and documenting Java applications.
This project brings some of the great eclipse features to emacs developers. It is based on the eclim project, which provides eclipse features for vim. Development from senny/emacs-eclim has moved h…
Raspberry Pi Bare Metal Assembly Programming
Raspberry Pi ARM based bare metal examples
kube2iam provides different AWS IAM roles for pods running on Kubernetes