Stars
7
stars
written in C
Clear filter
ZSWatch - the Open Source Zephyr™ based Smartwatch, including both HW and FW.
ABC: System for Sequential Logic Synthesis and Formal Verification
A library OS for Linux multi-process applications, with Intel SGX support
An interpreter for a concurrent lisp with message-passing and pattern-matching.