Jupyter kernel for Coq
Objection - runtime mobile exploration
CLI MCP package manager & registry for all platforms and all clients
Goose is a developer agent that operates from your command line
A system for assigning and grading notebooks
Molecule aids in the development and testing of Ansible roles
Python library and shell utilities to monitor filesystem events
Independent set of GDScript tools - parser, linter and formatter
Convert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX
Official inference library for Mistral models
openvpn-monitor is a web based OpenVPN monitor
A minimal, modern Python project template
Productionise & schedule your Jupyter Notebooks
PaddlePaddle End-to-End Development Toolkit
A free and open source interactive HTTPS proxy
A Telegram bot that integrates with OpenAI's official ChatGPT APIs
Leading open-source visualization and observability platform
Python CLI utility and library for manipulating SQLite databases
Scrape job websites into a single spreadsheet with no duplicates.
Operating LLMs in production
Streamlink is a CLI utility which pipes video streams
Dumb downloader that scrapes the web
MCDaemon, a python tool to control your Minecraft server
Animation engine for explanatory math videos
Mentat - The AI Coding Assistant