All Projects → Concuerror → Similar Projects or Alternatives

1179 Open source projects that are alternatives of or similar to Concuerror

Tool lists
Links to tools by subject
Stars: ✭ 270 (-2.53%)
Mutual labels:  verification, model-checking
Debugo
一个可能有点用的 iOS 调试工具~
Stars: ✭ 258 (-6.86%)
Mutual labels:  tool, debugging
Lucid
A simple mock-application for programs that work with child processes
Stars: ✭ 45 (-83.75%)
Mutual labels:  tool, debugging
vigor
Main repository of the Vigor NF verification project.
Stars: ✭ 40 (-85.56%)
Mutual labels:  verification, automatic
3d Bat
3D Bounding Box Annotation Tool (3D-BAT) Point cloud and Image Labeling
Stars: ✭ 179 (-35.38%)
Mutual labels:  automatic, tool
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-23.1%)
Mutual labels:  verification, model-checking
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (-2.53%)
Mutual labels:  verification, model-checking
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-93.5%)
Mutual labels:  verification, model-checking
Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-45.13%)
Mutual labels:  verification, model-checking
Flutter pinput
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-43.32%)
Mutual labels:  otp, verification
DPOTPView
Customisable OTP view and Passcode view
Stars: ✭ 52 (-81.23%)
Mutual labels:  otp, verification
kani
Kani Rust Verifier
Stars: ✭ 229 (-17.33%)
Mutual labels:  verification, model-checking
Auto Cpufreq
Automatic CPU speed & power optimizer for Linux
Stars: ✭ 843 (+204.33%)
Mutual labels:  automatic, tool
Superdump
A service for automated crash-dump analysis
Stars: ✭ 384 (+38.63%)
Mutual labels:  tool, debugging
Mthawkeye
Profiling / Debugging assist tools for iOS. (Memory Leak, OOM, ANR, Hard Stalling, Network, OpenGL, Time Profile ...)
Stars: ✭ 1,119 (+303.97%)
Mutual labels:  tool, debugging
Linux-Kernel-Driver-Programming
Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
Stars: ✭ 43 (-84.48%)
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+618.77%)
Mutual labels:  verification, model-checking
Tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+484.12%)
Mutual labels:  verification, model-checking
laravel-otp-login
Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.
Stars: ✭ 16 (-94.22%)
Mutual labels:  otp, verification
elixir-fire-brigade-workshop
Workshop "Join the Elixir Fire Brigade - Level-up Your Elixir Debugging Skills" (ElixirConf US 2017)
Stars: ✭ 14 (-94.95%)
Mutual labels:  debugging, otp
KWVerificationCodeView
A customisable verification code view to capture OTPs
Stars: ✭ 83 (-70.04%)
Mutual labels:  otp, verification
jayhorn
Static checker for Java
Stars: ✭ 54 (-80.51%)
Mutual labels:  verification, model-checking
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-83.75%)
Mutual labels:  otp, verification
ycecream
Sweeter debugging and benchmarking Python programs.
Stars: ✭ 38 (-86.28%)
Mutual labels:  debugging
Flask Session Cookie Manager
🍪 Flask Session Cookie Decoder/Encoder
Stars: ✭ 257 (-7.22%)
Mutual labels:  tool
weibo invalid delete
一键清除失效微博转发/微博收藏爬虫 (Auto delete invalid Weibo Favorites)
Stars: ✭ 16 (-94.22%)
Mutual labels:  automatic
pugdebug
pugdebug is a standalone debugging client for PHP applications that uses XDebug as the debugging engine.
Stars: ✭ 72 (-74.01%)
Mutual labels:  debugging
Watchpoints
watchpoints is an easy-to-use, intuitive variable/object monitor tool for python that behaves similar to watchpoints in gdb.
Stars: ✭ 261 (-5.78%)
Mutual labels:  debugging
extract otp secret keys
Extract two-factor authentication (2FA, TFA) secret keys from export QR codes of "Google Authenticator" app
Stars: ✭ 217 (-21.66%)
Mutual labels:  otp
Golds
An experimental Go local docs server/generator and code reader implemented with some fresh ideas.
Stars: ✭ 269 (-2.89%)
Mutual labels:  tool
Nova Backup Tool
A Laravel Nova tool to backup your app
Stars: ✭ 260 (-6.14%)
Mutual labels:  tool
2factor auth
2-Faktor-Authentifizierung mittels one-time-password (OTP)
Stars: ✭ 20 (-92.78%)
Mutual labels:  otp
Authenticator
🔒 Happy Two-Factor Verifying!
Stars: ✭ 53 (-80.87%)
Mutual labels:  otp
Andotp
Open source two-factor authentication for Android
Stars: ✭ 3,326 (+1100.72%)
Mutual labels:  otp
tracehash
Compress long exception traces down to short signatures
Stars: ✭ 20 (-92.78%)
Mutual labels:  debugging
Bistoury
Bistoury是去哪儿网的java应用生产问题诊断工具,提供了一站式的问题诊断方案
Stars: ✭ 3,198 (+1054.51%)
Mutual labels:  debugging
front-end-engineering
前端工程化
Stars: ✭ 33 (-88.09%)
Mutual labels:  automatic
verify
Laravel package to verify users with a one-time password (OTP)
Stars: ✭ 25 (-90.97%)
Mutual labels:  otp
Zio
ZIO — A type-safe, composable library for async and concurrent programming in Scala
Stars: ✭ 3,167 (+1043.32%)
Mutual labels:  concurrent-programming
vercors
The VerCors verification toolset for verifying parallel and concurrent software
Stars: ✭ 30 (-89.17%)
Mutual labels:  verification
awesome-dv
Awesome ASIC design verification
Stars: ✭ 76 (-72.56%)
Mutual labels:  verification
Flawless Ios
Awesome iOS guides from the community, shared on Flawless iOS Medium blog 👉
Stars: ✭ 260 (-6.14%)
Mutual labels:  debugging
pony-workshop
Material for a workshop for learning about the Pony programming language
Stars: ✭ 91 (-67.15%)
Mutual labels:  concurrent-programming
luaotp
A simple implementation of OATH-HOTP and OATH-TOTP written for Lua
Stars: ✭ 26 (-90.61%)
Mutual labels:  otp
Ispctexturecompressor
ISPC Texture Compressor
Stars: ✭ 257 (-7.22%)
Mutual labels:  tool
go-mtree
File systems verification utility and library, in likeness of mtree(8)
Stars: ✭ 55 (-80.14%)
Mutual labels:  verification
Onefetch
Git repository summary on your terminal
Stars: ✭ 3,680 (+1228.52%)
Mutual labels:  tool
Stern
⎈ Multi pod and container log tailing for Kubernetes -- Friendly fork of https://github.com/wercker/stern
Stars: ✭ 268 (-3.25%)
Mutual labels:  debugging
Codecov Node
Global coverage report uploader for Codecov in NodeJS
Stars: ✭ 268 (-3.25%)
Mutual labels:  codecov
woocommerce-otpbank-payment-gateway
WooCommerce Payment Gateway for OTP Bank (Hungary)
Stars: ✭ 20 (-92.78%)
Mutual labels:  otp
es6-debug-webstorm
How to debug ES6 in Webstorm (using gulp)
Stars: ✭ 60 (-78.34%)
Mutual labels:  debugging
jquery-manager
Manage 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%)
Mutual labels:  debugging
Deform Prototype
A 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%)
Mutual labels:  tool
auto-translate-converter
a cli work for part of i18n project chain
Stars: ✭ 19 (-93.14%)
Mutual labels:  automatic
caddy-trace
Request Debugging Middleware Plugin for Caddy v2
Stars: ✭ 25 (-90.97%)
Mutual labels:  debugging
Canvas Designer
Collaborative, extendable, JavaScript Canvas2D drawing tool, supports dozens of builtin tools, as well as generates JavaScript code for 2D animations.
Stars: ✭ 268 (-3.25%)
Mutual labels:  tool
Shrimpit
Shrimpit 🍤 is a small CLI analysis tool for checking unused JavaScript, JSX & Vue templates ES6 exports in your project.
Stars: ✭ 255 (-7.94%)
Mutual labels:  tool
guide-charles-proxy
Charles - 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%)
Mutual labels:  debugging
Code-Trouble
No description or website provided.
Stars: ✭ 14 (-94.95%)
Mutual labels:  debugging
ftrace
trace local function calls like strace and ltrace
Stars: ✭ 60 (-78.34%)
Mutual labels:  debugging
1-60 of 1179 similar projects