rainoftime

rainoftime

Geek Repo

Github PK Tool:Github PK Tool


Organizations
HUST-PLT

rainoftime's starred repositories

parallel-hashmap

A family of header-only, very fast and memory-friendly hashmap and btree containers.

Language:C++License:Apache-2.0Stargazers:2422Issues:63Issues:179

libcuckoo

A high-performance, concurrent hash table

Language:C++License:NOASSERTIONStargazers:1574Issues:75Issues:119

awesome-llm-powered-agent

Awesome things about LLM-powered agents. Papers / Repos / Blogs / ...

Awesome-Code-LLM

A curated list of language modeling researches for code and related datasets.

verus

Verified Rust for low-level systems code

Language:RustLicense:MITStargazers:1093Issues:24Issues:420

BenchmarkJava

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.

Language:JavaLicense:GPL-2.0Stargazers:653Issues:57Issues:94

Awesome-LM-SSP

A reading list for large models safety, security, and privacy (including Awesome LLM Security, Safety, etc.).

Awesome-LLM-RL

A comprehensive list of PAPERS, CODEBASES, and, DATASETS on Decision Making using Foundation Models including LLMs and VLMs.

ChatAFL

Large Language Model guided Protocol Fuzzing (NDSS'24)

Language:CLicense:Apache-2.0Stargazers:233Issues:4Issues:7

CodeFuse-Query

Query-Based Code Analysis Engine

Language:JavaLicense:Apache-2.0Stargazers:179Issues:12Issues:12

fuzz4all

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Language:PythonLicense:CC-BY-4.0Stargazers:146Issues:1Issues:4

HPC-Lab-Docs

Documentation for HPC course

ABLkit

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

Language:PythonLicense:NOASSERTIONStargazers:39Issues:5Issues:1

rupta

A Pointer Analysis Framework for Rust

Language:RustLicense:GPL-3.0Stargazers:35Issues:0Issues:0

benchmarks

Tons of Inductive Problems: The Benchmarks

Language:SMTLicense:BSD-3-ClauseStargazers:24Issues:7Issues:12

ParDiff

A Static Differential Analysis Tool of Network Protocol Parsers

Language:C++License:AGPL-3.0Stargazers:17Issues:0Issues:0

contextual-typing

Contextual Typing, formalised in Agda

Language:AgdaStargazers:8Issues:2Issues:0

canary

A unification-based alias analysis and related tools

Language:C++License:AGPL-3.0Stargazers:8Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:6Issues:1Issues:10
Language:JavaStargazers:5Issues:0Issues:0
Language:PythonLicense:Apache-2.0Stargazers:4Issues:1Issues:0

yarpgen

Yet Another Random Program Generator

Language:C++License:NOASSERTIONStargazers:3Issues:1Issues:0

NPA-PMA

Newtonian Program Analysis with Pre-Markov Algebras

Language:CLicense:MITStargazers:3Issues:1Issues:0
Language:C++Stargazers:3Issues:0Issues:0

TestRank

This is an implementation of the paper "TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks" in NeurIPS'2021.

Language:PythonStargazers:2Issues:0Issues:0

vllm

A high-throughput and memory-efficient inference and serving engine for LLMs

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

AISystem

AISystem 主要是指AI系统,包括AI芯片、AI编译器、AI推理和训练框架等AI全栈底层技术

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:1Issues:0Issues:0