nitsanavni

Nitsan Avni's starred repositories

verified-refactoring

Exploring techniques for code refactoring with formal verification

MIT500

Claude Engineer is an interactive command-line interface (CLI) that leverages the power of Anthropic's Claude-3.5-Sonnet model to assist with software development tasks. This tool combines the capabilities of a large language model with practical file system operations and web search functionality.

Language:Python693700

missing

The classless-ish CSS library you've been missing

Language:CSSBSD-2-Clause50700

kata-tracker

Language:Java100

alpine

A rugged, minimal framework for composing JavaScript behavior in your markup.

Language:HTMLMIT2762000

flask-s3

Seamlessly serve your static assets of your Flask app from Amazon S3

Language:PythonWTFPL19700

Zappa

Serverless Python

Language:PythonMIT318700

gh-pairing-with

👩‍💻👨‍💻 gh CLI extension for generating a co-authored-by: string

Language:Go1200

visidata

A terminal spreadsheet multitool for discovering and arranging data

Language:PythonGPL-3.0771800

tiny-type-agent

Minimal example of a safe Autonomous DevTool for nopilot.dev blog

Language:PythonMIT100

gdrive

Google Drive CLI Client

Language:RustMIT136800

RxPY

ReactiveX for Python

Language:PythonMIT472500

OpenDevin

🐚 OpenDevin: Code Less, Make More

Language:PythonMIT2939300

SWE-agent

SWE-agent takes a GitHub issue and tries to automatically fix it, using GPT-4, or your LM of choice. It solves 12.47% of bugs in the SWE-bench evaluation set and takes just 1 minute to run.

Language:PythonMIT1219500