corrections to subproject (#43)

Author: pranavkalpathishankar

data/events.yml

@@ -214,7 +214,7 @@ events:
     location: "Paris, France"
     url: "/devmtg/2013-04/"
     event_site: "https://llvm.org/devmtg/2013-04/"
-    
+
   - name: "LLVM Developers' Meeting"
     id: "2012-11"
     start_date: "2012-11-07"

data/subprojects.yml

@@ -14,10 +14,15 @@ subprojects:
       The LLDB project builds on libraries provided by LLVM and Clang to provide a great native debugger. It uses the Clang ASTs and expression parser, LLVM JIT, LLVM disassembler, etc so that it provides an experience that 'just works'. It is also blazing fast and much more memory efficient than GDB at loading symbols.
     url: "https://lldb.llvm.org/"
 
-  - name: "libc++"
+  - name: "libc++ and libc++ ABI"
     description: |
       The libc++ and libc++ ABI projects provide a standard conformant and high-performance implementation of the C++ Standard Library, including full support for C++11 and C++14.
     url: "https://libcxx.llvm.org/"
+
+  - name: "libc"
+    description: |
+      The libc project provides a high-performance, standards-conformant implementation of the C Standard Library, fully integrated with LLVM. It delivers optimized performance and comprehensive support for modern C standards, ensuring a reliable and efficient foundation for C applications.
+    url: "https://libc.llvm.org/"
 
   - name: "compiler-rt"
     description: |
@@ -44,6 +49,11 @@ subprojects:
       The libclc project aims to implement the OpenCL standard library.
     url: "https://libclc.llvm.org/"
 
+  - name: "klee"
+    description: |
+      The klee project implements a "symbolic virtual machine" which uses a theorem prover to try to evaluate all dynamic paths through a program in an effort to find bugs and to prove properties of functions. A major feature of klee is that it can produce a testcase in the event that it detects a bug.
+    url: "https://klee.llvm.org/"
+
   - name: "LLD"
     description: |
       The LLD project is a new linker that is a drop-in replacement for system linkers and runs much faster.