aider is AI pair programming in your terminal

A native symbolic execution engine for WebAssembly

symbolic execution engine for Rust

Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

An analysis tool for Python that blurs the line between testing and type systems.

Find unused, missing and transitive dependencies in a Python project.

⚡A CLI tool for code structural search, lint and rewriting. Written in Rust

Python bindings to the Tree-sitter parsing library

A attempt to implement a viable record/replay debugger.

Compilation of railway announcement snippets and a website to generate your own announcement snippets.

LLM plugin for interacting with the Claude 3 family of models

Extension for FastAPI to make HTMX easier to use.

App source + Nix packages + Docker = Image

The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.

Build better UIs faster.

</> htmx - high power tools for HTML

parquet file parser for javascript

Chrome Extension for exploring Hugging Face datasets 🔎

FastAPI-HTMX Demo Project

A fast, light, open chat UI with full tool use support across many models

Plot reviews of businesses over time

A Three.JS + WASM implementation of Boids.

download GTFS stops and put them in a k-d tree

A cross-platform browser ML framework.

How you (yes, you!) can write a Polars Plugin

Show a live map of the London Underground and London buses

Uncomplicated Observability for Python and beyond! 🪵🔥

Generative models for conditional audio generation