Popular repositories Loading

1. llvm-riscv-verified-codegen-thesis-wip llvm-riscv-verified-codegen-thesis-wip Public archive

   Code generation for the RISC-V processor using the Lean 4 theorem prover

   Lean 1

2. lean-mlir lean-mlir Public

   Forked from opencompl/lean-mlir

   A minimal development of SSA theory

   Lean

3. 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

4. chacha20-poly1305-avx2 chacha20-poly1305-avx2 Public

   Implementing the ChaCha20-Poly1305 authenticated encryption scheme in C++, optimizing it with AVX2 intrinsics against OpenSSL as the baseline, and extending it to the prime field 2^150 − 3.

   C++

5. openclaw openclaw Public

   Forked from openclaw/openclaw

   Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

   TypeScript

6. defenseclaw defenseclaw Public

   Forked from cisco-ai-defense/defenseclaw

   Security Governance for Agentic AI

   Python