Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Gitea is a painless self-hosted all-in-one software development service, includes Git hosting, code review, team collaboration, package registry and CI/CD .
GitLab is a DevOps platform that provides a …
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
https://rust-analyzer.github.io/manual.html#structural-search-and-replace
cargo clippy fix
cargo build or cargo clippy to generate error msgs for a specific kind of issue …Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
pip3 install -U black[jupter]
The following code formats Python files and Jupyter/Lab Notebooks under the current directory.
black ./
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!
Easily verify your Rust in CI with Kani and Github Actions
From Fuzzing to Proof: Using Kani with the Bolero Property-Testing Framework
Things on this page are fragmentary and immature notes/thoughts of the author. Please read with your own judgement!