The zephyr from luisacicolini

View Code? Open in Web Editor NEW

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

License: Apache License 2.0

Shell 0.34% C++ 0.06% Python 4.55% Perl 0.43% C 90.79% Haskell 0.01% Smalltalk 0.01% Tcl 0.01% Verilog 0.01% Assembly 0.88% Forth 0.01% SourcePawn 0.03% EmberScript 0.01% CMake 2.80% PLSQL 0.01% Batchfile 0.01% GDB 0.01% SmPL 0.07% VBA 0.01% Cadence 0.01%

zephyr's Introduction

Hello, world!

✨ Luisa, 25yo, Compilers and Formal Languages enthusiast. I also enjoy logics, a lot.

✨ Sometimes singer and art lover - fascinated by creativity in all its shapes

✨ Computer Science and Engineering graduate at Politecnico di Milano, Research Assistant at the University of Cambridge.

In brief:

FSM Dialect: working within the CIRCT project to exploit the FSM dialect for verification
xDSL: I contributed to the xDSL open-source project
iMFAnt: automata optimization for faster pattern matching (CGO'24)
GrCUDA: I contributed to the GrCUDA open-source project
xohw21-flow-public: finalist project for Xilinx Open Hardware 2021 competition, based on the acceleration of the wavefront alignment algorithm (WFA) on FPGA (ISCAS'22)
Joule-Brayton-Turbine-Modeling: MATLAB thermodynamic model of a small turbojet engine
super-duper-FORtnight: Python- and AMPL-based heuristic approach to VRT problem
Forced-Convection-in-Cooling-Systems-for-Electronic-Components: MATLAB thermodynamic model of a cooling system based on forced convection for small electronic deviced