boasmeier
Follow
Stars
A collection of formalized statements of conjectures in Lean.
An AI coding agent by JetBrains that ships code from your terminal, IDE, or CI/CD pipeline - powered by any LLM you choose
The fastest asyncio MySQL/MariaDB driver — Cython-powered protocol core, aiomysql-compatible API, built-in connection pool, and binlog replication support
concurrent, cache-efficient, and Dockerfile-agnostic builder toolkit
Docker CLI plugin for extended build capabilities with BuildKit
GitHub Action to build and push Docker images with Buildx
GitHub Action to login against a Docker registry
Starter code for semester project in Cloud Computing Architecture course at ETH Zurich
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Prettier is an opinionated code formatter.
HTML template formatter and linter for Django, Jinja, Twig, Nunjucks, Handlebars, Liquid, Go templates, Mustache, Tera, Askama and Angular. Formats markup and template syntax together, and lints fo…
create comment on pull request, if exists update that comment.
Invoke linters, detect errors/warnings, show them as annotations. Supports PRs from forks, unlike other Actions.
An extremely fast Python linter and code formatter, written in Rust.
Github action to retrieve all (added, copied, modified, deleted, renamed, type changed, unmerged, unknown) files and directories.
⚗️ Adds code analysis to Laravel improving developer productivity and code quality.
Laravel Pint is an opinionated PHP code style fixer for minimalists.
Instant Upgrades and Automated Refactoring of any PHP 5.3+ code
Solutions for the Algorithms Lab (2023) course problems at ETH Zurich.
Track and evaluate the performance of your investment portfolio across stocks, cryptocurrencies, and other assets.
Laravel is a web application framework with expressive, elegant syntax.
LaTeX style for Python highlighting