Tool listsLinks to tools by subject
Stars: ✭ 270 (-2.53%)
Debugo一个可能有点用的 iOS 调试工具~
Stars: ✭ 258 (-6.86%)
LucidA simple mock-application for programs that work with child processes
Stars: ✭ 45 (-83.75%)
vigorMain repository of the Vigor NF verification project.
Stars: ✭ 40 (-85.56%)
3d Bat3D Bounding Box Annotation Tool (3D-BAT) Point cloud and Image Labeling
Stars: ✭ 179 (-35.38%)
vscode-tlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 213 (-23.1%)
SeahornSeaHorn Verification Framework
Stars: ✭ 270 (-2.53%)
kleverRead-only mirror of the Klever Git repository
Stars: ✭ 18 (-93.5%)
Vscode TlaplusTLA+ language support for Visual Studio Code
Stars: ✭ 152 (-45.13%)
Flutter pinput🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-43.32%)
DPOTPViewCustomisable OTP view and Passcode view
Stars: ✭ 52 (-81.23%)
kaniKani Rust Verifier
Stars: ✭ 229 (-17.33%)
Auto CpufreqAutomatic CPU speed & power optimizer for Linux
Stars: ✭ 843 (+204.33%)
SuperdumpA service for automated crash-dump analysis
Stars: ✭ 384 (+38.63%)
MthawkeyeProfiling / Debugging assist tools for iOS. (Memory Leak, OOM, ANR, Hard Stalling, Network, OpenGL, Time Profile ...)
Stars: ✭ 1,119 (+303.97%)
TlaplusTLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+484.12%)
laravel-otp-loginAdds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.
Stars: ✭ 16 (-94.22%)
elixir-fire-brigade-workshopWorkshop "Join the Elixir Fire Brigade - Level-up Your Elixir Debugging Skills" (ElixirConf US 2017)
Stars: ✭ 14 (-94.95%)
jayhornStatic checker for Java
Stars: ✭ 54 (-80.51%)
react-native-sms-user-consentReact Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-83.75%)
ycecreamSweeter debugging and benchmarking Python programs.
Stars: ✭ 38 (-86.28%)
pugdebugpugdebug is a standalone debugging client for PHP applications that uses XDebug as the debugging engine.
Stars: ✭ 72 (-74.01%)
Watchpointswatchpoints is an easy-to-use, intuitive variable/object monitor tool for python that behaves similar to watchpoints in gdb.
Stars: ✭ 261 (-5.78%)
extract otp secret keysExtract two-factor authentication (2FA, TFA) secret keys from export QR codes of "Google Authenticator" app
Stars: ✭ 217 (-21.66%)
GoldsAn experimental Go local docs server/generator and code reader implemented with some fresh ideas.
Stars: ✭ 269 (-2.89%)
2factor auth2-Faktor-Authentifizierung mittels one-time-password (OTP)
Stars: ✭ 20 (-92.78%)
AndotpOpen source two-factor authentication for Android
Stars: ✭ 3,326 (+1100.72%)
tracehashCompress long exception traces down to short signatures
Stars: ✭ 20 (-92.78%)
BistouryBistoury是去哪儿网的java应用生产问题诊断工具,提供了一站式的问题诊断方案
Stars: ✭ 3,198 (+1054.51%)
verifyLaravel package to verify users with a one-time password (OTP)
Stars: ✭ 25 (-90.97%)
ZioZIO — A type-safe, composable library for async and concurrent programming in Scala
Stars: ✭ 3,167 (+1043.32%)
vercorsThe VerCors verification toolset for verifying parallel and concurrent software
Stars: ✭ 30 (-89.17%)
awesome-dvAwesome ASIC design verification
Stars: ✭ 76 (-72.56%)
Flawless IosAwesome iOS guides from the community, shared on Flawless iOS Medium blog 👉
Stars: ✭ 260 (-6.14%)
pony-workshopMaterial for a workshop for learning about the Pony programming language
Stars: ✭ 91 (-67.15%)
luaotpA simple implementation of OATH-HOTP and OATH-TOTP written for Lua
Stars: ✭ 26 (-90.61%)
go-mtreeFile systems verification utility and library, in likeness of mtree(8)
Stars: ✭ 55 (-80.14%)
OnefetchGit repository summary on your terminal
Stars: ✭ 3,680 (+1228.52%)
Stern⎈ Multi pod and container log tailing for Kubernetes -- Friendly fork of https://github.com/wercker/stern
Stars: ✭ 268 (-3.25%)
Codecov NodeGlobal coverage report uploader for Codecov in NodeJS
Stars: ✭ 268 (-3.25%)
jquery-managerManage jQuery and jQuery Migrate on a WordPress website, activate a specific jQuery and/or jQuery Migrate version. The ultimate jQuery debugging tool for WordPress
Stars: ✭ 27 (-90.25%)
Deform PrototypeA prototyped framework for deforming meshes in the editor and at runtime in Unity. Not in development anymore, but it's still pretty awesome!
Stars: ✭ 256 (-7.58%)
caddy-traceRequest Debugging Middleware Plugin for Caddy v2
Stars: ✭ 25 (-90.97%)
Canvas DesignerCollaborative, extendable, JavaScript Canvas2D drawing tool, supports dozens of builtin tools, as well as generates JavaScript code for 2D animations.
Stars: ✭ 268 (-3.25%)
ShrimpitShrimpit 🍤 is a small CLI analysis tool for checking unused JavaScript, JSX & Vue templates ES6 exports in your project.
Stars: ✭ 255 (-7.94%)
guide-charles-proxyCharles - Web Debugging Proxy Application. I want to share my experiences when I worked with Charles. It is such an amazing application for debugging and testing the presentation of UI when trying different set of data. Hope you guys will master Charles after reading this section. Let’s find out! 🖍
Stars: ✭ 22 (-92.06%)
Code-TroubleNo description or website provided.
Stars: ✭ 14 (-94.95%)
ftracetrace local function calls like strace and ltrace
Stars: ✭ 60 (-78.34%)