GitHub - dmm-com/pagoda: Yet another SSoT system to be able to define flexible data-structure, relation and ACL.You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
GitHub Copilotと快適なユニットテストコード作成生活
こちらで登壇させていただいた資料です。 https://trident-qa.connpass.com/event/314818/ ※ こちらは2024/05/23 時点の私の考えとなります。更新の予定はございませんのでご了承ください
GitHub - formal-land/coq-of-rust: Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Even if Rust's type system prevents many mistakes, including memory errors, the code is still not immune to vulnerabilities, such as unexpected panics or wrongly implemented business rules. The way to go further is to mathematically prove that it is bug-free: this is
GitHub - ai/size-limit: Calculate the real cost to run your JS app or lib to keep good performance. Show error in pull request if the cost exceeds the limit.
Size Limit is a performance budget tool for JavaScript. It checks every commit on CI, calculates the real cost of your JS for end-users and throws an error if the cost exceeds the limit. ES modules and tree-shaking support. Add Size Limit to GitHub Actions, Circle CI or another CI system to know if a pull request adds a massive dependency. Modular to fit different use cases: big JS applications th
GitHub - microsoft/onefuzz: A self-hosted Fuzzing-As-A-Service platform
August 31, 2023. Since September 2020 when OneFuzz was first open sourced, we’ve been on a journey to create a best-in-class orchestrator for running fuzzers, driving security and quality into our products. Initially launched by a small group in MSR, OneFuzz has now become a significant internal platform within Microsoft. As such, we are regretfully archiving the project to focus our attention on
GitHub - aquasecurity/tfsec: Tfsec is now part of Trivy
As part of our goal to provide a comprehensive open source security solution for all, we have been consolidating all of our scanning-related efforts in one place, and that is Trivy. Over the past year, tfsec has laid the foundations to Trivy's IaC & misconfigurations scanning capabilities, including Terraform scanning, which has been natively supported in Trivy for a long time now. Going forward w
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - browser-use/browser-use: 🌐 Make websites accessible for AI agents. Automate tasks online with ease.
GitHub - samhocevar/zzuf: 🌪️ Application fuzzer
GitHub - google/AFL: american fuzzy lop - a security-oriented fuzzer
GitHub - yumemi-inc/ios-engineer-codecheck: This is a code check task for iOS engineers employment in YUMEMI.
GitHub - mizzy/specinfra: Command Execution Framework for serverspec, itamae and so on
GitHub - pa11y/pa11y: Pa11y is your automated accessibility testing pal
GitHub - adhorn/aws-chaos-scripts: DEPRECATED Collection of python scripts to run failure injection on AWS infrastructure
GitHub - willnet/committee-rails: rails and committee are good friends
GitHub - interagent/committee: A collection of Rack middleware to support JSON Schema.
GitHub - hatsugai/Geta: Simple proof checker for equational logic
GitHub - seL4/l4v: seL4 specification and proofs
GitHub - amatsuda/database_rewinder: minimalist's tiny and ultra-fast database cleaner
GitHub - matplotlib/pytest-mpl: A pytest plugin to facilitate image comparison for Matplotlib figures
GitHub - realpython/pytest-mypy: Mypy static type checker plugin for Pytest
