pfff
HHVM
pfff | HHVM | |
---|---|---|
6 | 24 | |
2,422 | 18,013 | |
- | 0.3% | |
0.0 | 10.0 | |
about 5 years ago | 1 day ago | |
OCaml | Hack | |
GNU General Public License v3.0 or later | GNU General Public License v3.0 or later |
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.
pfff
-
AST-grep(sg) is a CLI tool for code structural search, lint, and rewriting
Hi, ast-grep author here. This is a great question and I asked this in the first place before I started the hobby project.
TLDR; I designed ast-grep to be on different tracks than semgrep.
Semgrep is for security and ast-grep is for development.
First and foremost, I have always been in awe of semgrep. Semgrep's documentation, product sites and Padioleau's podcast all gave me a lot of inspiration. Using code to find code is such a cool idea that I never need to craft an intricate regex or write a lengthy AST program. sgrep and patch from https://github.com/facebookarchive/pfff/wiki/Sgrep have helped me a lot in real large codebases.
When I used semgrep as a software engineer, instead of a security researcher, I found semgrep has not touched too much on routine development works. I can use `semgrep -e PATTERN` but the Python wrapper is not too fast compared to grep.
-
Interesting ocaml mention in buck2 by fb
Meta/Facebook are long time OCaml users, their logo is on the OCaml website. Their static analysis tool and its predecessor are both written in OCaml.
-
What's wrong with static-analysis autofix/codemod tools? Why don't we use them more, across the industry? What's your experience?
Over the decades, there's been so very many attempts to address this conundrum; and yet, ...
- Show HN: Semgrep App
- Show HN: Visualizing a Codebase
HHVM
- Should I Rust or should I Go
- HHVM – a virtual machine designed for executing programs written in Hack
-
Hack Lang: Contexts and Capabilities
Learned of this in https://news.ycombinator.com/item?id=37186869 it was posted 2 years ago to no discussion https://news.ycombinator.com/item?id=30291459 seems far more interesting than that.
https://github.com/facebook/hhvm/blob/master/hphp/hack/doc/H... appears to be where it was proposed, and has more background than the current docs.
- Has Meta/Facebook stopped developing hacklang?
-
Hacklang is no longer opensource?
also fredemmott is not working on it any more https://github.com/facebook/hhvm/issues/9376
-
Interesting ocaml mention in buck2 by fb
Hack and Flow are also written in OCaml.
-
Buck2, a large scale build tool written in Rust by Meta, is now available
Here is a commit generated by clippy fix without Cargo involved: https://github.com/facebook/hhvm/commit/efea2c4dcc12fdbf3a2e3ce383bbdca2de5f93a9
-
Taking Hack Seriously - Slack Engineering
Compared to PHP, with its visible community, Hack/HHVM does seem like a dead-end technology. But it’s very actively maintained and it powers the largest website on the planet. It definitely doesn’t make sense for the average PHP developer to switch (and the article steers clear of evangelising) but it also definitely doesn’t make sense for us to switch back.
- please don't kill me
-
I know that's the name of the language, I'm asking about the first P
PHP is nearly as old as the web. Change the conversation and say: I use Hack on the Hip Hop Virtual Machine
What are some alternatives?
WhiteBeam - WhiteBeam: Transparent endpoint security
Hack
flow - Adds static typing to JavaScript to improve developer productivity and code quality.
HippyVM - HippyVM - an implementation of the PHP language in RPython
vircadia-native-core - Vircadia open source agent-based metaverse ecosystem.
ext-openswoole - Programmatic server for PHP with async IO, coroutines and fibers
syntax-searcher - Language-independent command-line utility for syntax-aware pattern matching.
Laravel - The Laravel Framework.
ocaml-tree-sitter-semgrep - Generate parsers from tree-sitter grammars extended to support Semgrep patterns
haxe - Haxe - The Cross-Platform Toolkit
infer - A static analyzer for Java, C, C++, and Objective-C
react-relay - Relay is a JavaScript framework for building data-driven React applications.