Based on our record, mypy should be more popular than Working Copy. It has been mentiond 50 times since March 2021. We are tracking product recommendations and mentions on various public social media platforms and blogs. They can help you identify which product is more popular and what people think of it.
Even better is the licensing model where you can keep using the version as-is after the subscription ends. You just don't get any new features. It's even possible to do on iOS, as Working Copy [0] is doing it. (You also get all the bug fixes and stuff, only new features are behind a flag that requires you to purchase another year of updates. I would also argue that Working Copy specifically is too cheap, but I... - Source: Hacker News / over 1 year ago
Yeah, Working Copy is a proper Git front-end which helps do safe syncing, via features such as:. Source: over 2 years ago
So I have a laptop and a iPhone. On laptop I have the Obsidian.md desktop app, on iPhone I have the app and Working Copy app too. This is all for syncing my notes. Source: over 2 years ago
> It uses the same format of storage as Obsidian... Can Obsidian and Jot co-mingle in the same vault? I use Obsidian and am very happy with the git plugin[0] and Working Copy(iOS)[1] for keeping things automatically synced between my phone and desktop(s). Often I find myself dumping notes into random places from the terminal; feeding markdown via pipes. But I then have to remember to collect these artifacts and... - Source: Hacker News / over 2 years ago
This is the only one I've heard people use: https://workingcopyapp.com/. Source: almost 3 years ago
I've always admired many of Java's features, but let's not act like the reason for using Java for scripting is the pitfalls of Python. It's just because of an underlying preference for Java. 1. https://mypy-lang.org/. - Source: Hacker News / 5 months ago
I’m not here to tell people which languages they should love. But if you do find yourself writing production code in a dynamically typed language like Python, Ruby, or JavaScript, I would give serious consideration to opting into the type-checking tools that have become available in those ecosystems. In Python, consider requiring type hints and adding mypy checks to your CI to move your type safety bugs forward... - Source: dev.to / about 1 year ago
Mypy is "an optional static type checker for Python that aims to combine the benefits of dynamic (or "duck") typing and static typing". As Python is dynamically typed, Mypy adds an extra layer of safety by checking types at compile time (based on type annotations conforming to PEP 484), catching potential errors before runtime. - Source: dev.to / over 1 year ago
Mypy stands as an essential static type-checking tool. Its primary function is to verify the correctness of types in your codebase. However, manually annotating types in legacy code can be laborious and time-consuming. - Source: dev.to / over 1 year ago
Lua is a great language for embedding, but one thing I wish it had was some form of optional type annotations that could be checked by a linter. Something like mypy for Lua would be super-useful. Source: almost 2 years ago
CodeHub - CodeHub is the most complete, unofficial, client for GitHub on the iOS platform.
PyLint - Pylint is a Python source code analyzer which looks for programming errors.
Git2Go - The Git client for iPhone and iPad you always wanted
flake8 - A wrapper around Python tools to check the style and quality of Python code.
Git Flow - Git Flow is a very self-explanatory free software workflow for managing Git branches.
SonarQube - SonarQube, a core component of the Sonar solution, is an open source, self-managed tool that systematically helps developers and organizations deliver Clean Code.