Highlights
- Pro
Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Cython
- 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
All Algorithms implemented in Python
⭐AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts.🎯 告别信息过载,你的 AI 舆情监控助手与热点筛选工具!聚合多平台热点 + RSS 订阅,支持关键词精准筛选。AI 翻译 + AI 分析简报直推手机,也支持接入 MCP 架构,赋能 AI 自然语言对…
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
A collection of design patterns/idioms in Python
aider is AI pair programming in your terminal
Python packaging and dependency management made easy
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
🤗 smolagents: a barebones library for agents that think in code.
A powerful coding agent toolkit providing semantic retrieval and editing capabilities (MCP server & other integrations)
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]
A computer algebra system written in pure Python
Open Source DeepWiki: AI-Powered Wiki Generator for GitHub/Gitlab/Bitbucket Repositories. Join the discord: https://discord.gg/gMwThUMeme
Gel supercharges Postgres with a modern data model, graph queries, Auth & AI solutions, and much more.
Freeze (package) Python programs into stand-alone executables
Minimal reproduction of DeepSeek R1-Zero
The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA…
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, …
一个基于nano banana pro🍌的原生AI PPT生成应用,迈向真正的"Vibe PPT"; 支持上传任意模板图片;上传任意素材&智能解析;一句话/大纲/页面描述自动生成PPT;口头修改指定区域、一键导出可编辑ppt - An AI-native PPT generator based on nano banana pro🍌
Trae Agent is an LLM-based agent for general purpose software engineering tasks.
Exploit Development and Reverse Engineering with GDB & LLDB Made Easy
A powerful and user-friendly binary analysis platform!
The property-based testing library for Python
Automated Machine Learning with scikit-learn
A set of tools to keep your pinned Python dependencies fresh.
Typed interactions with the GitHub API v3
🚴 Call stack profiler for Python. Shows you why your code is slow!