New repos

A deterministic verifier for AI coding assistants.

Oppia is an online learning tool that enables anyone to easily create and share interactive activities (called 'explorations'). These activities simulate a one-

a python cli that generates youtube shorts and landscape videos end-to-end using mostly free ai services. give it a topic, get back a video with voiceover, burn

Custom pokemon-colorscripts-style ASCII cycler for terminal rice.

AIdex is a fully-featured, professional CLI AI coding agent that runs in your terminal. It connects to multiple AI providers with free and paid models.

When you want to write your own geospatial library with support for this protocol you may use pygeoif as a starting point and build your functionality on top of

A Python library for reading, writing and manipulating KML files.

Generate a pre-commit or prek .pre-commit-config.yaml for your project from curated language and framework presets — so you get the right linters, formatters, a

STC Converter is a module to convert Smart Contract security audit results (via Mythril or Slither) into the standard STC Analytics format.

Monitor testnet blockchain transaction gas fees in real-time and transparently.

A fast, reliable Python library and CLI tool for bulk downloading images from Bing or DuckDuckGo.