yale's repositories

PhySO

Physical Symbolic Optimization

Language:PythonLicense:MITStargazers:1Issues:0Issues:0

anvill

anvill forges beautiful LLVM bitcode out of raw machine code

Language:LLVMLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

Auto-GPT

An experimental open-source attempt to make GPT-4 fully autonomous.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

cclyzerpp

cclyzer++ is a precise and scalable global pointer analysis for LLVM code.

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

chatgpt-retrieval-plugin

The ChatGPT Retrieval Plugin lets you easily search and find personal or work documents by asking questions in everyday language.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

ChatRWKV

ChatRWKV is like ChatGPT but powered by RWKV (100% RNN) language model, and open source.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

CodeAnalysis

Static Code Analysis - 静态代码分析

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

CodeFuse-Query

Query-Based Code Analysis Engine

License:Apache-2.0Stargazers:0Issues:0Issues:0

CodeGeeX

CodeGeeX: An Open Multilingual Code Generation Model

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

corax-community

corax community version

Language:KotlinLicense:NOASSERTIONStargazers:0Issues:0Issues:0

cpg

A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.

License:Apache-2.0Stargazers:0Issues:0Issues:0

detekt

Static code analysis for Kotlin

Language:KotlinLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

engshell

An English-language shell for any OS, powered by LLMs

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

JittorLLMs

计图大模型推理库,具有高性能、配置要求低、中文支持好、可移植等特点

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

joern

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

joernti-codetidal5

An integration of JoernTI's CodeTIDAL5 neural type inference model.

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

pinduoduo_backdoor_unpacker

Samples and Unpacker of malicious backdoors and exploits developed and used by Pinduoduo

Stargazers:0Issues:0Issues:0

pmd

An extensible cross-language static code analyzer.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

Qbot

[🔥updating ...] 自动量化交易机器人 Qbot is an AI-oriented quantitative investment platform, which aims to realize the potential, empower AI technologies in quantitative investment. https://ufund-me.github.io/Qbot :news: qbot-mini: https://github.com/Charmve/iQuant

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

Qilin

Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

rose

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

stablediffusion

High-Resolution Image Synthesis with Latent Diffusion Models

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

Tai-e

An easy-to-learn/use static analysis framework for Java

Language:JavaLicense:LGPL-3.0Stargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0

tree-sitter-vue

Vue grammar for tree-sitter

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

triton

Development repository for the Triton language and compiler

Language:C++License:MITStargazers:0Issues:0Issues:0