CindyLiu's repositories
capdl
Capability Distribution Language tools for seL4
Language:Haskell000
iree
đź‘»
Language:C++Apache-2.0000
Language:CMakeApache-2.0000
Language:PythonApache-2.0000
libyaml
Canonical source repository for LibYAML
Language:CMIT000
misc-linters
Some Internal Linter Scripts
Language:PythonApache-2.0000
Language:C++Apache-2.0000
Language:C++Apache-2.0000
opentitan
OpenTitan: Open source silicon root of trust
Language:SystemVerilogApache-2.0000
renode
Renode - Antmicro's virtual development framework for complex embedded systems
Language:C#NOASSERTION000
Language:C#000
seL4
The seL4 microkernel
Language:CNOASSERTION000
sparrow-manifest
Project Sparrow: Repo Materials
Apache-2.0000
systemc-compiler
This tool translates synthesizable SystemC code to synthesizable SystemVerilog.
Language:C++NOASSERTION000
tensorflow
An Open Source Machine Learning Framework for Everyone
Language:C++Apache-2.0000
test-camkes-tool
The main CAmkES tool
Language:PythonNOASSERTION000
Language:CLGPL-2.1000