Slides and report for the advanced programming tools seminar

Getting familiar with renesas r4m1, testing PAC

Demo code for Rust on ThreadX

Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

Performance instrumentation and tracing for Android, Linux and Chrome (read-only mirror of https://android.googlesource.com/platform/external/perfetto/)

Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

a small µKanren utility

Toy DB to get more sytems expereince

wrapper for svn cmd usage