Pinned Loading
Repositories
Showing 10 of 46 repositories
- NextSpiralAnalysis Public
Barnard-PL-Labs/NextSpiralAnalysis’s past year of commit activity - Runtime-Monitoring-Pachinko Public
We present documentation of a classroom assignment that teaches runtime monitoring through a creative embedded systems build: an interactive Pachinko game. The demo centers on a dual-core ESP32 workflow in which students write RTLola specifications for monitors, compile these monitors to C, and deploy them alongside sensor and motor control logic.
Barnard-PL-Labs/Runtime-Monitoring-Pachinko’s past year of commit activity - ski-calculus Public
Massively-parallel SKI combinator-calculus evolution on FPGA fabric (ECP5); targets the manhattan-reasoning-gym SDK
Barnard-PL-Labs/ski-calculus’s past year of commit activity - pl-website-demo Public
Barnard-PL-Labs/pl-website-demo’s past year of commit activity - tsltools Public Forked from reactive-systems/tsltools
Library and tools for the TSL specification format
Barnard-PL-Labs/tsltools’s past year of commit activity - PCB-Milling-Project-for-Creative-Embedded-Systems Public
Files and steps for completion of the PCB Milling Assignment
Barnard-PL-Labs/PCB-Milling-Project-for-Creative-Embedded-Systems’s past year of commit activity - jark Public
Barnard-PL-Labs/jark’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…