Popular repositories Loading

1. secverilog secverilog Public

   C 5 2

2. Komodo Komodo Public

   Forked from microsoft/Komodo

   Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

   C 1

3. configs configs Public

   Arch Linux Configuration Files

   Vim Script

4. TimingCompartments TimingCompartments Public

   Perl 1

5. TMuxModel TMuxModel Public

   A (very) simple model of a time multiplexed memory hierarchy including a shared bus, pipelined cache, and a memory controller. This was used to study the interaction between these resources when th…

   Ruby 1

6. anneal2 anneal2 Public

   Ruby