meizjm3i

ChatGLM2-6B

ChatGLM2-6B: An Open Bilingual Chat LLM | 开源双语对话语言模型

semgrep-rules

Semgrep rules registry

maple-ir

Industrial IR-based static analysis framework for Java bytecode

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

bad-bpf

A collection of eBPF programs demonstrating bad behavior, presented at DEF CON 29

TaintMini

Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis

CodeXGLUE

CodeXGLUE

Doop_Jasmine

Spring-micro-benchmarks

Jasmine

ClearDNS

容器化的无污染DNS服务

MOSS

An open-source tool-augmented conversational language model from Fudan University

webiny-js

Open-source serverless enterprise CMS. Includes a headless CMS, page builder, form builder, and file manager. Easy to customize and expand. Deploys to AWS.

cauliflower

A Solver-Generator for CFL-R problems

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

BELLE

BELLE: Be Everyone's Large Language model Engine（开源中文对话大模型）

Luotuo-Chinese-LLM

骆驼(Luotuo): Open Sourced Chinese Language Models. Developed by 陈启源 @ 华中师范大学 & 李鲁鲁 @ 商汤科技 & 冷子昂 @ 商汤科技

alpaca-lora

Instruct-tune LLaMA on consumer hardware

pjproject

PJSIP project

pysat

A toolkit for SAT-based prototyping in Python

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

JInfoFlow-bench

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

llama

Inference code for Llama models

ChatGLM-6B

ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

OpenChatKit

Nice2Predict

Learning framework for program property prediction

deoptfuscator

Deobfuscator for Android Application

package-analysis

Open Source Package Analysis

CodeGen

CodeGen is a family of open-source model for program synthesis. Trained on TPU-v4. Competitive with OpenAI Codex.