The Z3 Theorem Prover

Lean 4 programming language and theorem prover

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

Dafny is a verification-aware programming language

Research prototype tool for modular formal verification of C and Java programs

Cost monitoring for Kubernetes workloads and cloud costs

Helm tarball repository for Kubecost product

Cloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!

The goal of this project is to design and implement a scalable multi-cloud cost optimizer that calculates the optimal deployment scheme for complex workloads on public or hybrid clouds, reducing co…

CLI for determining the cost of Kubernetes workloads

The open source high performance ELT framework powered by Apache Arrow

Parent repository to hold all common documentation and code samples for all FOCUS Converter projects

The Unifying Specification for Cloud Billing Data

Real-time monitoring of IT components and services, such as networks, servers, VMs, applications and the cloud.

Flipper Zero Unleashed Firmware

Open source distributed Platform as a Service (PaaS). A self-hosted Vercel / Netlify / Cloudflare alternative.

Irregular methods on regular expressions

Disk encryption with strong security based on TrueCrypt

The official source code repository for the calibre ebook manager

Awesome Vulnerable Applications

A curated list of various bug bounty tools

Ad Blocking Module for Android (Magisk - KernelSU - APatch)

Docker image squashing tool

the transparent ransomware claim tracker 🥷🏼🧅🖥️

ＷＩＴＣＨ？(VPN detector) source code

A suite of WiFi/Bluetooth offensive and defensive tools for the ESP32

The Minimalistic x86/x64 API Hooking Library for Windows

Code AI platform with Code Search & Cody

Find, verify, and analyze leaked credentials