BinYu-Xidian's repositories
analyzer
Static analysis framework for C
FreeRTOS-Kernel
FreeRTOS kernel files only, submoduled into https://github.com/FreeRTOS/FreeRTOS and various other repos.
GradeMigo
An AI-powered Grading Assistant supported by Handwriting recognition and Flask backend using LangChain to query a large corpus of textbook data (Indian Curriculum) and the OpenAI LLM to evaluate the accuracy of an answer and assign marks based on a grading system. Built as part of Hack4Bengal 2023
fuzz4all
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
simpleaichat
Python package for easily interfacing with chat apps, with robust features and minimal code complexity.
tinyos-main
Main development repository for TinyOS (an OS for embedded, wireless devices).
dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.
NLP-Marker-Frontend
Helping teachers get insights and assist essay, or short paragraph questions in an instant. Powered by NLP
Awesome-AFL
A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials
CPM-Bee
百亿参数的中英文双语基座大模型
nl2spec
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
rasa
💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants
MiniGPT-4
MiniGPT-4: Enhancing Vision-language Understanding with Advanced Large Language Models
llama
Inference code for LLaMA models
stanford_alpaca
Code and documentation to train Stanford's Alpaca models, and generate the data.
chatgpt_academic
科研工作专用ChatGPT拓展,特别优化学术Paper润色体验,支持自定义快捷按钮,支持markdown表格显示,Tex公式双显示,代码显示功能完善,新增本地Python工程剖析功能/自我剖析功能
MultiVul-GCN
Multi Graph Smart Contract Vulnerability Detection
nogil
Multithreaded Python without the GIL
apron
Apron Numerical Abstract Domain Library
geth-analyze
go-ethereum source code analyzation under the perspective of smart contract security
publications
Publications of Runtime Verification, Inc.
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
fret
A framework for the elicitation, specification, formalization and understanding of requirements.
NettyRpc
A simple RPC framework based on Netty, ZooKeeper and Spring
ltp
Language Technology Platform