hax
comby
hax | comby | |
---|---|---|
3 | 3 | |
136 | 2,265 | |
11.0% | 0.0% | |
9.9 | 0.0 | |
7 days ago | about 1 year ago | |
OCaml | OCaml | |
- | Apache License 2.0 |
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.
hax
- Hax: Translate a subset of Rust into formal languages
-
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...
comby
-
Meet ast-grep: a Rust-based tool for code searching, linting, rewriting using AST
How does it compare to https://github.com/comby-tools/comby, which can work on languages it doesnt even have grammars for (to a degree)
-
How Our Engineering Team Used Python's AST to Patch 100,000s of Lines of Code
One tool that I know of like this is called Comby - https://github.com/comby-tools/comby
-
I love Comby :heart:
I love Comby, https://github.com/comby-tools/comby, in their words:
What are some alternatives?
codemod - Codemod is a tool/library to assist you with large-scale codebase refactors that can be partially automated but still require human oversight and occasional intervention. Codemod was developed at Facebook and released as open source.
semgrep - Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
jscodeshift - A JavaScript codemod toolkit.
nodebook - Nodebook - Multi-Lang Web REPL + CLI Code runner
FlatBuffers - FlatBuffers: Memory Efficient Serialization Library
angstrom - Parser combinators built for speed and memory efficiency
goimports - [mirror] Go Tools
bs-mocha
ast-grep - ⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
syntax-highlighter - Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.
ocaml-asp - Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
api - Structured LLM APIs