Highlights
- Pro
Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- D
- Dockerfile
- F#
- Flix
- GLSL
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- Makefile
- Markdown
- Meson
- MiniZinc
- OCaml
- Objective-C++
- OpenEdge ABL
- PHP
- Pascal
- Perl
- PowerShell
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- SWIG
- Scala
- Scheme
- Shell
- Slash
- Solidity
- Standard ML
- Starlark
- TeX
- TypeScript
- Vim Script
- Xtend
An overview of LLMs for cybersecurity.
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…
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]
一个基于nano banana pro🍌的原生AI PPT生成应用,迈向真正的"Vibe PPT"; 支持上传任意模板图片;上传任意素材&智能解析;一句话/大纲/页面描述自动生成PPT;口头修改指定区域、一键导出 - An AI-native PPT generator based on nano banana pro🍌
not another coding agent, kode is agent cli for everything
A model-driven approach to building AI agents in just a few lines of code.
A curated list of awesome SIMD frameworks, libraries and software
jogiet / interproc
Forked from flurischt/interproc-trunkbjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)
Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli
cuTile is a programming model for writing parallel kernels for NVIDIA GPUs
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
A program analysis, verification, and optimization framework
Binary floating-point to decimal string conversion algorithm.
Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)
🎯 告别信息过载,AI 助你看懂新闻资讯热点,简单的舆情监控分析 - 多平台热点聚合+基于 MCP 的AI分析工具。监控35个平台(抖音、知乎、B站、华尔街见闻、财联社等),智能筛选+自动推送+AI对话分析(用自然语言深度挖掘新闻:趋势追踪、情感分析、相似检索等13种工具)。支持企业微信/个人微信/飞书/钉钉/Telegram/邮件/ntfy/bark/slack 推送,1分钟手机通知,无需…
Awesome Large Language Models for Vulnerability Detection
ZJU-PL / RepoAudit
Forked from PurCL/RepoAuditAn autonomous LLM-agent for large-scale, repository-level code auditing
🚀 「大模型」1小时从0训练26M参数的视觉多模态VLM!🌏 Train a 26M-parameter VLM from scratch in just 1 hours!
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, …
A list of tutorials, paper, talks, and open-source projects for emerging compiler and architecture