Highlights
Lists (3)
Sort Name ascending (A-Z)
Stars
A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm
A Command-Line Utility to automatically backup Google Mail, Calendar & Contacts to local files.
A Python package enabling the development of robust automation scripts that are subdivided into stages.
🛏 An HTML to Markdown converter written in JavaScript
BrowserGym, a gym environment for web task automation in the Chromium browser.
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
GritQL is a query language for searching, linting, and modifying code.
Open weights LLM from Google DeepMind.
A Python concurrency scheduling library, compatible with asyncio and trio.
⏰ Modern datetime library for Python, available in Rust or pure Python
A computer science textbook
Large Action Model framework to develop AI Web Agents
Automate browser-based workflows with LLMs and Computer Vision
Rust-like error handling in Python, with type-safety in mind.
A Python tool to enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with…
Build and share delightful machine learning apps, all in Python. 🌟 Star to support our work!
A high-throughput and memory-efficient inference and serving engine for LLMs
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST),…
KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.
A benchmark to evaluate language models on questions I've previously asked them to solve.
The official PyTorch implementation of Google's Gemma models