Popular repositories Loading

1. llvm-project llvm-project Public

   Forked from llvm/llvm-project

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM

2. acl2 acl2 Public

   Forked from acl2/acl2

   ACL2 System and Books as Maintained by the Community

   Common Lisp

3. lighthouse-oss lighthouse-oss Public

   Forked from elisa-tech/lighthouse-oss

   Contains all work related to the "Good Quality / Best Practices in Open Source Standard" activities

4. awesome-safety-critical awesome-safety-critical Public

   Forked from stanislaw/awesome-safety-critical

   List of resources about programming practices for writing safety-critical software.

   Python

5. alive2 alive2 Public

   Forked from AliveToolkit/alive2

   Automatic verification of LLVM optimizations

   C++