joshua-401 Goto Github PK

aosp-riscv

AOSP-RISCV

bayesian-models-machine-learning-eecs6720

cbmc

C Bounded Model Checker

chsllvmdocs

It is a set of LLVM documents which are translated into Chinese.

compcert

The CompCert formally-verified C compiler

debug-info-testing

Debugging Information Validation

deeplang

deeplang is a new language for IoT device programming.

deepsea

A language developed by Yale University for writing verified system software

deepsea-1

The DeepSEA programming language

esp

Embedded Scalable Platforms: Heterogeneous SoC architecture and IP integration made easy

formal_verification

Coverage Closure and Bug Hunt Project

gcc

microcplusplus

ocaml.org

Implementation of the ocaml.org website.

ohallvm

LLVM tools for Optimistic Hybrid Analysis

opensc

Programming language for smart contracts written in OCaml

osdt-slides

OSDT社区（HelloGCC、HelloLLVM）组织的活动中的报告

plct-weekly

软件所PLCT实验室在开源领域的不定期简报

riscv-eabi-spec

Proposal for new Embedded ABI (EABI) for use in embedded RISC-V systems.

riscv-elf-psabi-doc

A RISC-V ELF psABI Document

small-gc

A very small, slow, and poorly written Garbage Collector for C

svf

Static Value-Flow Analysis Framework for Source Code

xoc

XOC is a compiler infrastructure that provides multi-level operations, flexibility, and the capability of representing almost all popular languages. There are two level IR representations used throughout all phases of the compilation.

z3

The Z3 Theorem Prover