Pinned Repositories
chase
Contract-based Heterogeneous Analysis and Systems Exploration
chase-backends
Standard backends for CHASE.
chase-cps.github.io
Website for the CHASE project
core-library
The core representation library of CHASE
demos
Repository for the demos of CHASE.
DSL_tool
academic_page
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
google-dark
A user style to customizably darken the Google Search website
michelora.github.io
petridish
Jekyll theme for research project websites 🧫
MicheLora's Repositories
MicheLora/academic_page
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
MicheLora/google-dark
A user style to customizably darken the Google Search website
MicheLora/michelora.github.io
MicheLora/petridish
Jekyll theme for research project websites 🧫