Popular repositories Loading

1. OCCAM OCCAM Public

   Forked from SRI-CSL/OCCAM

   OCCAM: Object Culling and Concretization for Assurance Maximization

   C++

2. OCCAM-Benchmarks OCCAM-Benchmarks Public

   Forked from SRI-CSL/OCCAM-Benchmarks

   Each benchmark specializes a set of applications with OCCAM.

   Python

3. TRIMMER-applications TRIMMER-applications Public

   1

4. linux-0.01 linux-0.01 Public

   Forked from zavg/linux-0.01

   Historically first (actually 0.01) release of linux kernel made by Linus Torvalds

   C

5. blog_os blog_os Public

   Forked from phil-opp/blog_os

   Writing an OS in Rust

   HTML

6. distrubuted_agent_planning distrubuted_agent_planning Public

   Forked from zilmano/distrubuted_agent_planning

   C++