Sign in

Repository Index

85,578 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

1,993–2,016 of 12,967 · Most stars

Litmus helps SREs and developers practice chaos engineering in a Cloud-native way. Chaos experiments are published at the ChaosHub (https://hub.litmuschaos.io). Community notes is at https://hackmd.io/a4Zu_sH4TZGeih-xCimi3Q

Open-source office suite pack that comprises all the tools you need to work with documents, spreadsheets, presentations, PDFs, and PDF forms on Windows, Linux, and macOS

Model interpretability and understanding for PyTorch

  • interpretability
  • interpretable-ai
  • interpretable-ml
  • feature-importance

XLForm is the most flexible and powerful iOS library to create dynamic table-view forms. Fully compatible with Swift & Obj-C.

  • xlform
  • forms
  • swift
  • objective-c

Translated😍FeHelper -- Web Front-end Assistant (Awesome! Chrome & Firefox & MS-Edge Extension, All in one Toolbox!)

  • fehelper
  • json
  • qrcode-generator
  • qrcode-decoder

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Translated【🔞🔞🔞 Contains images not suitable for minors】AI exploration and summary based on my strengths in programming, drawing, and writing: StableDiffusion is a powerful image generation model that can generate new images by evolving an existing image. ChatGPT is a Transformer-based language generation model that can automatically generate suitable articles for an input topic. And Github Copilot is an intelligent programming assistant that can speed up everyday programming activities.