Search Results for "development"

mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. The tool integrates with common editors and CI systems, and offers a daemon mode for fast, incremental checks across large codebases. Advanced configuration via mypy.ini or pyproject.toml enables per-module strictness, plugin hooks for popular libraries, and fine-grained control of inference and error reporting. ...

Paste is a PHP application for storing code, text and more. DEMO: https://paste.boxlabs.uk/ Initially forked from the freely available source pastebin.com used before the domain was sold in 2010, lots of improvements have been included over the years such as user accounts and a featureful administration backend. See https://github.com/boxlabss/PASTE/blob/master/docs/CHANGELOG.md

Instagram: the app you open to send one message… and suddenly 30 minutes are gone. We all know the cycle — and we finally had enough. What if Instagram had a quick fix? A productivity-friendly mode that keeps your connections, but gives your attention span a fighting chance? No algorithm traps. No reel vortex. No dopamine casino. Just conversations and updates, on your terms. Instagram CLI is a minimal, fast, keyboard-native way to stay connected without getting cooked by social media.

A configurable, extensible note-taking program for simple "offline blogging", written to allow no-fuss, stream-of-consciousness journal writing.

Helpful tools for the college students. Eg. a java alarm clock playing any playlist you want, a tool to create a MLA style bibliography entry given a URL, etc.

Martin Studio API is intended for use by java web developers. It is made up of tools that are intended to improve productivity by simplifying many repetitions tasks.