Skip to content
View rainoftime's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Highlights

  • Pro

Block or report rainoftime

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

程序语言与编译技术相关资料(持续更新中)

2,147 267 Updated Nov 12, 2025

An overview of LLMs for cybersecurity.

1,159 122 Updated Dec 4, 2025

SE-Agent is a self-evolution framework for LLM Code agents. It enables trajectory-level evolution to exchange information across reasoning paths via Revision, Recombination, and Refinement, expandi…

Python 208 24 Updated Sep 23, 2025

SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]

Python 18,070 1,925 Updated Dec 15, 2025

Abseil Common Libraries (C++)

C++ 16,756 2,924 Updated Dec 19, 2025

一个基于nano banana pro🍌的原生AI PPT生成应用,迈向真正的"Vibe PPT"; 支持上传任意模板图片;上传任意素材&智能解析;一句话/大纲/页面描述自动生成PPT;口头修改指定区域、一键导出 - An AI-native PPT generator based on nano banana pro🍌

TypeScript 5,672 624 Updated Dec 22, 2025
Lean 7 Updated Dec 22, 2025

not another coding agent, kode is agent cli for everything

TypeScript 3,816 591 Updated Dec 15, 2025

A model-driven approach to building AI agents in just a few lines of code.

Python 4,707 567 Updated Dec 21, 2025

A curated list of awesome SIMD frameworks, libraries and software

227 18 Updated Sep 15, 2024
C 1 Updated Nov 19, 2025

bjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)

OCaml 2 1 Updated Oct 24, 2023

Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli

Jupyter Notebook 5,560 1,093 Updated Sep 7, 2025

cuTile is a programming model for writing parallel kernels for NVIDIA GPUs

Python 1,646 85 Updated Dec 20, 2025

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

Python 41,640 5,577 Updated Dec 22, 2025

A program analysis, verification, and optimization framework

C++ 12 2 Updated Dec 22, 2025
Python 5 1 Updated Dec 21, 2025

Binary floating-point to decimal string conversion algorithm.

C++ 106 7 Updated Dec 9, 2017

Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)

C 24 3 Updated May 7, 2025

🎯 告别信息过载,AI 助你看懂新闻资讯热点,简单的舆情监控分析 - 多平台热点聚合+基于 MCP 的AI分析工具。监控35个平台(抖音、知乎、B站、华尔街见闻、财联社等),智能筛选+自动推送+AI对话分析(用自然语言深度挖掘新闻:趋势追踪、情感分析、相似检索等13种工具)。支持企业微信/个人微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 推送,1分钟手机通知,无需…

Python 40,022 20,804 Updated Dec 20, 2025

Awesome Large Language Models for Vulnerability Detection

Python 334 14 Updated Dec 22, 2025

An autonomous LLM-agent for large-scale, repository-level code auditing

Python 5 Updated Sep 2, 2025
C++ 1 Updated Oct 13, 2025

🚀 「大模型」1小时从0训练26M参数的视觉多模态VLM!🌏 Train a 26M-parameter VLM from scratch in just 1 hours!

Python 5,751 611 Updated Dec 5, 2025

Use PEFT or Full-parameter to CPT/SFT/DPO/GRPO 600+ LLMs (Qwen3, Qwen3-MoE, DeepSeek-R1, GLM4.5, InternLM3, Llama4, ...) and 300+ MLLMs (Qwen3-VL, Qwen3-Omni, InternVL3.5, Ovis2.5, GLM4.5v, Llava, …

Python 11,778 1,075 Updated Dec 22, 2025

Auto-Active Verifier for Python

Python 3 Updated Sep 29, 2025

A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture

510 41 Updated Jan 15, 2025
Next