|8 days ago||about 22 hours ago|
|MIT License||MIT License|
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Debugging/Profiling/VM library for Ocaml.
1 project | reddit.com/r/ocaml | 21 Sep 2021
It's not so clear to me what you want, the following come to mind: - if you want to "inspect the recursive calls" of a recursive function, you may not need any instrumentation: you can turn your function in open-recursion style, and provide a fixpoint combinator that does the inspection (see code below) - if you want to instrument the code globally, one easier-than-most approach is to use a ppx preprocessor to instrument the code (this assumes that the logic you want can be expressed as a slight modification of the user-written code), see ppx_bisect (code-coverage instrumentation) for example.
Statically typed Python
7 projects | reddit.com/r/Python | 30 Nov 2021
Facebook/Instagram uses Pyre which is a typechecker for Python.
facebook/pyre-check - Performant type-checking for python.
1 project | reddit.com/r/GithubSecurityTools | 16 Oct 2021
OCaml at Bloomberg 'we use OCaml to write DSLs and production services –'
2 projects | news.ycombinator.com | 23 Aug 2021
I'd be curious if the pyre-check compilation is any faster for you either by removing the inlining optimization flag (the `-Oclassic` here https://github.com/facebook/pyre-check/blame/36243764ab81a82...) or whether there's a way to compile pyre-check to bytecode instead of the native compilation step (which unfortunately it looks like there's no easy way to modify pyre-check's build config to do so).2 projects | news.ycombinator.com | 23 Aug 2021
I must be doing something wrong.
Write better Python - with some help!
7 projects | dev.to | 3 Aug 2021
Some other good alternatives for type checking are Pyright (which is seen in VSCode via Microsofts PyLance plugin) and Pyre.
12 Months of Rust, 50k+ changed lines of code, 8 design iterations. The extent of writing an async ASGI web server in Rust for Python for a 10% performance increase.
3 projects | reddit.com/r/rust | 30 Jun 2021
Sorry if this is something that you’re already aware of but there already exists a Python-related project with the same name which may lead to confusion. https://pyre-check.org
Pyre: A performant type-checker for Python 3
1 project | reddit.com/r/patient_hackernews | 10 May 20211 project | reddit.com/r/hackernews | 10 May 20216 projects | news.ycombinator.com | 10 May 2021
Adoption of Mypy for Python type checking: 45% already use it, 40% don't plan to
4 projects | news.ycombinator.com | 21 Mar 2021
What are some alternatives?
mypy - Optional static typing for Python
pytype - A static type analyzer for Python code
pyright - Static type checker for Python
typeshed - Collection of library stubs for Python, with static types
typing - Python static typing home. Contains the source for typing_extensions and the documentation. Also hosts a user help forum.
psst - Fast and multi-platform Spotify client with native GUI
librespot - Open Source Spotify client library
mamba - The Fast Cross-Platform Package Manager
isort - A Python utility / library to sort imports.
algoneer - The Algoneer Python library.
spot - Native Spotify client for the GNOME desktop