Lqs66

hello-algo

《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 代码。简体版和繁体版同步更新，English version ongoing

syncthing

Open Source Continuous File Synchronization

llvm-project

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

pdf

编程电子书，电子书，编程书籍，包括C，C#，Docker，Elasticsearch，Git，Hadoop，HeadFirst，Java，Javascript，jvm，Kafka，Linux，Maven，MongoDB，MyBatis，MySQL，Netty，Nginx，Python，RabbitMQ，Redis，Scala，Solr，Spark，Spring，SpringBoot，SpringCloud，TCPIP，Tomcat，Zookeeper，人工智能，大数据类，并发编程，数据库类，数据挖掘，新面试题，架构设计，算法系列，计算机类，设计模式，软件测试，重构优化，等更多分类

linux

Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

SVF

Static Value-Flow Analysis Framework for Source Code

LLVM-embedded-toolchain-for-Arm

A project dedicated to building LLVM toolchain for Arm and AArch64 embedded targets.

esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

Data-Structure

<数据结构>（C语言版）清华大学出版社，严蔚敏

llvm-ir-cmake-utils

LLVM IR CMake utils for bitcode file manipulation by opt and friends

OS-CFI

Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019

program-dependence-graph

Program dependence graph in LLVM

gazer

An LLVM-based formal verification frontend for C programs.

divine

DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.

minimc

ARI

PGPatch

PatchVerif

uppex

Uppex - extend UPPAAL with annotations for properties in companion MS Excel files

ardupilot-container

Ardupilot container targeted for AARCH64 platforms. Tested on the Zynq UltraScale+ MPSoC.

uppaal-libs

Dynamic libraries for Uppaal models