littlefish0123 Goto Github PK

binabsinspector

BinAbsInspector: Vulnerability Scanner for Binaries

chibicc

A small C compiler

chipyard

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

cnc_remastered_collection

cobra

An interactive (fast) static source code analyzer

cppcheck

static analysis of C/C++ code

datafrog

A lightweight Datalog engine in Rust

editors_config

This repo collects my configuration of emacs and vim

folly

An open-source C++ library developed and used at Facebook.

hybf-cc23-artifact

incubator-tvm

Open deep learning compiler stack for cpu, gpu and specialized accelerators

nebula

A distributed, fast open-source graph database featuring horizontal scalability and high availability

openrace

Open source implementation of the Coderrect Scanner core race detection functionality.

progquery

ProgQuery is a system to extract useful syntactic and semantic information from source code programs and store it in a graph database for posterior querying.

taichi

Productive & portable programming language for high-performance, sparse & differentiable computing

tinygrad

You like pytorch? You like micrograd? You love tinygrad! ❤️

tiramisu

A polyhedral compiler for expressing fast and portable data parallel algorithms

work_vm

work_compiler

xtc

The xtc (eXTensible Compiler) project is exploring novel programming languages and tools to improve the expressiveness, safety, and efficiency of complex systems. (Mirrored from http://cs.nyu.edu/rgrimm/xtc/xtc-core-2.4.0.zip)