Lists (15)
Starred repositories
Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
🚀 Multi-agent AI system for automated GitHub release log generation and email notifications using CrewAI
A CLI tool to convert your codebase into a single LLM prompt with source tree, prompt templating, and token counting.
Crucible is a library for symbolic simulation of imperative programs
[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.
A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.
A static verifier for Rust, based on the Viper verification infrastructure.
🦀 How to minimize Rust binary size 📦
Public code release for: ColorfulCurves: Palette-Aware Lightness Control and Color Editing via Sparse Optimization (SIGGRAPH 2023) [Ted Chao, Jason Klein, Jianchao Tan, Jose Echevarria, Yotam Gingold]
Educational blog posts for Rust beginners
A curated list of awesome Rust checkers
Bug-tracking for Jeff's algorithms book, notes, etc.
A diff filter highlighting which line parts have changed