ruby-vpiRuby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-94.58%)
deno-debugDebugging utility for deno. Ported from https://npmjs.com/debug
Stars: ✭ 15 (-94.58%)
checkerGolang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.
Stars: ✭ 62 (-77.62%)
SwiftyCodeViewFully customizable UI Component for verification codes written in swift with RxSwift support!
Stars: ✭ 86 (-68.95%)
pugdebugpugdebug is a standalone debugging client for PHP applications that uses XDebug as the debugging engine.
Stars: ✭ 72 (-74.01%)
rust-verification-toolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Stars: ✭ 237 (-14.44%)
silverDefinition of the Viper intermediate verification language.
Stars: ✭ 28 (-89.89%)
cpp14-project-templateA simple, cross-platform, and continuously integrated C++14 project template
Stars: ✭ 64 (-76.9%)
Watchpointswatchpoints is an easy-to-use, intuitive variable/object monitor tool for python that behaves similar to watchpoints in gdb.
Stars: ✭ 261 (-5.78%)
eldaricaThe Eldarica model checker
Stars: ✭ 41 (-85.2%)
grootStatic verification tool for DNS zone files
Stars: ✭ 60 (-78.34%)
UnloadAn advanced automatic speedrun load time remover for community verifiers.
Stars: ✭ 20 (-92.78%)
extract otp secret keysExtract two-factor authentication (2FA, TFA) secret keys from export QR codes of "Google Authenticator" app
Stars: ✭ 217 (-21.66%)
docker-pudbDebug Python code within a Docker container remotely from your terminal using pudb
Stars: ✭ 18 (-93.5%)
madbomberBacktrace-on-throw C++ exception logger
Stars: ✭ 17 (-93.86%)
TAOMP《多处理器编程的艺术》一书中的示例代码实现,带有注释与单元测试
Stars: ✭ 39 (-85.92%)
GoldsAn experimental Go local docs server/generator and code reader implemented with some fresh ideas.
Stars: ✭ 269 (-2.89%)
kokkos-toolsKokkos C++ Performance Portability Programming EcoSystem: Profiling and Debugging Tools
Stars: ✭ 52 (-81.23%)
devtools-tipsA collection of useful cross-browser DevTools tips
Stars: ✭ 81 (-70.76%)
2factor auth2-Faktor-Authentifizierung mittels one-time-password (OTP)
Stars: ✭ 20 (-92.78%)
debuggerDebugging helper for Go
Stars: ✭ 54 (-80.51%)
mux-stream(De)multiplex asynchronous streams
Stars: ✭ 34 (-87.73%)
PlutoTest.jl✔️ Visual, reactive testing library for Julia. Time machine included.
Stars: ✭ 56 (-79.78%)
SmartDumpSmartDump - an exception and memory dump capture utility
Stars: ✭ 17 (-93.86%)
OpenImageDebuggerAn advanced in-memory image visualization plugin for GDB and LLDB on Linux, MacOS and Windows (experimental). Previously known as gdb-imagewatch.
Stars: ✭ 115 (-58.48%)
tracehashCompress long exception traces down to short signatures
Stars: ✭ 20 (-92.78%)
php-totpHOTP and TOTP token generation
Stars: ✭ 33 (-88.09%)
botCompletely free and open-source human-like Instagram bot. Powered by UIAutomator2 and compatible with basically any Android device 5.0+ that can run Instagram - real or emulated.
Stars: ✭ 321 (+15.88%)
AndotpOpen source two-factor authentication for Android
Stars: ✭ 3,326 (+1100.72%)
cafeobjDevelopment of the CafeOBJ interpreter
Stars: ✭ 25 (-90.97%)
RelBinsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.
Stars: ✭ 27 (-90.25%)
cordova-plugin-apkupdaterThis plugin allows your Android app to download and install compressed updates without the Google Play Store.
Stars: ✭ 46 (-83.39%)
repl.deployAutomatically deploy from GitHub to Replit, lightning fast ⚡️
Stars: ✭ 63 (-77.26%)
VERDICTDARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurity Threats (VERDICT)
Stars: ✭ 20 (-92.78%)
iopipe-goGo agent for AWS Lambda metrics, tracing, profiling & analytics
Stars: ✭ 18 (-93.5%)
pretty traceLove Your Ruby's Backtrace
Stars: ✭ 13 (-95.31%)
ZioZIO — A type-safe, composable library for async and concurrent programming in Scala
Stars: ✭ 3,167 (+1043.32%)
passwordlessPasswordless authentication server, supports OTP, WebAuthn, plan to implement TOTP and mobile biometric authentication
Stars: ✭ 34 (-87.73%)
mCRL2The Git repository for the mCRL2 toolset.
Stars: ✭ 67 (-75.81%)
awesome-dvAwesome ASIC design verification
Stars: ✭ 76 (-72.56%)
angular-code-inputCode (number/chars/otp/password) input component for angular 7, 8, 9, 10, 11, 12+ projects including Ionic 4, 5 +
Stars: ✭ 112 (-59.57%)
dwexDWARF Explorer - a GUI utility for navigating the DWARF debug information
Stars: ✭ 58 (-79.06%)
asyncoroPython framework for asynchronous, concurrent, distributed, network programming with coroutines
Stars: ✭ 50 (-81.95%)
devmodDeveloper Module for debugging web applications
Stars: ✭ 16 (-94.22%)
racket-dbgA server, client and UI for remotely debugging Racket applications.
Stars: ✭ 15 (-94.58%)
VideoRecognition-realtime-autotrainer-alertsState of the art object detection in real-time using YOLOV3 algorithm. Augmented with a process that allows easy training of the classifier as a plug & play solution . Provides alert if an item in an alert list is detected.
Stars: ✭ 36 (-87%)
luaotpA simple implementation of OATH-HOTP and OATH-TOTP written for Lua
Stars: ✭ 26 (-90.61%)
VerifierPackage verifier provides simple defensive programing primitives.
Stars: ✭ 264 (-4.69%)
WinDbg ScriptsUseful scripts for WinDbg using the debugger data model
Stars: ✭ 92 (-66.79%)
InAppDevToolsAndroid library with a collection of tools for debugging, inspecting and reporting from within your own app
Stars: ✭ 26 (-90.61%)
MediatorCross-platform GUI gRPC debugging proxy
Stars: ✭ 36 (-87%)
use-debugger-hooksA small package of custom React hooks that are useful for debugging changes in React hook dependencies across renders
Stars: ✭ 44 (-84.12%)
gha🔧 Test your GitHub Actions workflow locally.
Stars: ✭ 53 (-80.87%)