The Ultimate program analysis framework.

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Introduction to modern Prolog

NVIDIA Resiliency Extension is a python package for framework developers and users to implement fault-tolerant features. It improves the effective training time by minimizing the downtime due to fa…

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

AlphaFold 3 inference pipeline.

The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing …

Awesome-LLM-Prompt-Optimization: a curated list of advanced prompt optimization and tuning methods in Large Language Models

Automatic Prompt Optimization

Retrying library for Python

An step by step fuzzing tutorial. A GitHub Security Lab initiative

A curated list of awesome directed fuzzing research papers

The cling C++ interpreter

💻 C++ Functional Terminal User Interface. ❤️

C++ Design Patterns

3-stage RV32IMACZb* processor with debug

Customized beamer templates for colleges/institutes

北京航空航天大学 校徽校名矢量图

基于CMake+LunarVIm(VSCODE)的全平台C++开发环境配置不正经教程。

Minimal, clean code for the Byte Pair Encoding (BPE) algorithm commonly used in LLM tokenization.

The official Meta Llama 3 GitHub site

llama3 implementation one matrix multiplication at a time

NO TIME TO SLEEP

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

AddressSanitizer, ThreadSanitizer, MemorySanitizer

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!