Peter S. Housel's repositories
dylan-mode
Emacs support for Dylan
ros_realtime_tests
Tests for validating the real-time capabilities of the ROS middleware
esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
ferros
A Rust-based userland which also adds compile-time assurances to seL4 development.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
meta-cimtokmais-2012
OpenEmbedded layer for ROS Fuerte
objc-dylan
A Dylan / Objective C bridge.
quicklisp-client
Quicklisp client.
seL4
The seL4 microkernel
seL4_libs
No-assurance libraries for rapid-prototyping of seL4 apps.
seL4_tools
Basic tools for building seL4 projects
selfe-sys
A generated thin wrapper around libsel4.a, with supporting subcrates.
slime
The Superior Lisp Interaction Mode for Emacs
trivial-features
Portable CL:*FEATURES*